#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