implemented extracting premise and conclusion from the sentence
first version for sentence to formula
Parse simple sentence into logical form
added main function and fixed precedence order in reduceAnd
generalized word removal
implemented recursive disjuction parsing
implemented recursive not, disj and conj handling
affirming disjunct fallacy is being detected now.
#21: removed merge conflicts, all DetectInFOLTest tests work
#21: added installation and running instruction to README.md.
Hopefully we can simplify both steps using cabal (#22 and #24)
#21: replaced all blanks by TABs
Please continue using TABs from now on
#30: made all functions non-IO besides `main`
as discussed in #30.
Closes #30.
#30: merged into master