Premise: Seven gates are still in use.

Hypothesis: None of the gates are still in use.
Relation: contradiction