Premise: Auditors could, for example, compare expected to actual usages of hardware resources in order to identify emerging computer capacity problems.

Hypothesis: Auditors are specifically not allowed to examine computing power usage during their audit.
Relation: contradiction