Valid Inference Rules In Ai