Anne is furry. Anne is green. Anne is nice. Anne is red. Erin is big. Erin is red. Erin is rough. Gary is nice. Harry is furry. Harry is rough. If Gary is furry then Gary is white. If someone is big and green then they are white.
Erin is not white.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Erin is big.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Gary is nice.[(triple8)] Harry is furry.[(triple9)] Harry is rough.[(triple10)]