Premise: If so, auditors should include

Hypothesis: Auditors don't need to include
Relation: contradiction