#15: removed naming inconsistencies.
some variables and functions were named with a mix of camel case and snake case, now everything is camel case.
#15: commented out the potentially wrong test
as long as we don't decide about the issues discussed in #15. To not get used to having failing tests and still merging to master ...
#10: removed inconsistency in FOL syntax
in comments I was writing 'a AND b' while our parser expects 'a & b'. Now the comments are the same as the real parsed expressions.
#10: added three unit tests for recursive fallacy search
all three fail as expected, since functionality not implemented yet
#10: satisfied all recursive fallacy detection tests.
Closes #10.
#15: copied in natural deduction rules from James's Logic class.
So we can discuss which of them we allow for fallacy pattern matching