The input is a text file from args[1]. 
For format of input and output file check examples in the current directory.
The output is written in the current directory.

For more information refer Inference Backward chaining.pdf in the current repository.