#6: introduced denyAntecedent_posTest which fails as expected
also refactored the whole FallacyTest.hs to keep all helper variable definitions local