Premise: Auditors can reduce the direct tests of the data if they test the effectiveness of general and application controls over computer-processed data, and these tests support the conclusion that the controls are effective.

Hypothesis: Auditors are not allowed to reduce direct tests of data.
Relation: contradiction