Premise: But all that line are grays.

Hypothesis: None that line are grays.
Relation: contradiction