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 allowed to reduce direct tests of data if they do test the effectiveness of general and application controls. 
Relation: entailment