Anne is blue. Anne is cold. Anne is rough. Anne is smart. Erin is red. Erin is rough. Erin is smart. Gary is blue. Gary is round. Harry is blue. Harry is red. Harry is young. If something is red and blue then it is cold.
Harry is round.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Gary is blue.[(triple8)] Gary is round.[(triple9)] Harry is blue.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12)] @1: Harry is cold.[(((triple11 triple10) -> rule1))]