Erin is green. Erin is round. Erin is white. Gary is blue. Gary is green. Gary is rough. Gary is round. Harry is blue. Harry is green. Harry is white. All green people are red.
Gary is not white.
@0: Erin is green.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3)] Gary is blue.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is white.[(triple10)] @1: Erin is red.[(((triple1) -> rule1))] Gary is red.[(((triple5) -> rule1))] Harry is red.[(((triple9) -> rule1))]