Erin is not big. Erin is not blue. Erin is green. Erin is kind. Gary is blue. Gary is furry. Gary is green. Gary is red. Harry is blue. Harry is cold. Harry is furry. Harry is green. If something is big and cold then it is not red.
Gary is red.
@0: Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is not big.[(triple1)] Erin is not blue.[(triple2)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is red.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)]