Logical Inference In Ai