Premise: and and and the restriction is it sort of

Hypothesis: None of the restrictions are like that
Relation: contradiction