How do you reason logically using first order logic inference?