Inference In First Order Logic

TODO