: introduced denyAntecedent_negTest which is already satisfied as expected
(technically it is just another negative test for isFallacy, not necessarily for the 'Denying the antecedent' fallacy