The Use Of Logical Inference