mvn package
java -cp target/rationalclosure-1.0-SNAPSHOT-jar-with-dependencies.jar org.rationalclosure.App knowledgebasename.txt
Knowledge bases must be formatted according to TweetyProject propositional logic syntax, with defeasible implication represented as '~>'. (http:https://tweetyproject.org/)