#6: fixed the fallacy1 definition
#6: implemented prototype of fallacy checking for 'Affirming a Disjunct'
#6: merged in master
#6: wrote unit tests for isFallacy
#6: added unit test enforcing variable mapping
(which is to be implemented next)
#6: added wrongFormat_Test which fails as expected
(because the code cannot handle wrong format yet)
#6: satisfied wrongFormat_Test
#6: satisfied affirmDisj_changedVariables_posTest
by implementing the checking for fallacy patterns using any variable choice from the given expression in isFallacy