fixed a bug that caused problem when detecting denying the antecedent fallacy