Logical Inference Rules In Ai