This is a practice of debugging the ClausIE which is from 'http://resources.mpi-inf.mpg.de/d5/clausie/tutorial_.html' for myself. Functions of this respostory: add a command of compiling the java files into the clausie.sh