Premise: Internal control over automated systems can be grouped into general control and application control.

Hypothesis: Internal control over automated systems can not be grouped into groups
Relation: contradiction