Anne is blue. Anne is green. Anne is kind. Anne is quiet. Erin is white. Gary is cold. Gary is green. Harry is blue. Harry is cold. Harry is white. If someone is green and blue then they are cold.
Erin is not cold.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Erin is white.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is white.[(triple10)] @1: Anne is cold.[(((triple2 triple1) -> rule1))]