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