First Order Logic Inference