#11: satisfied denyAntecedent_posTest. Closes #11.