Anne is cold. Anne is kind. Anne is rough. Erin is cold. Erin is kind. Erin is red. Erin is rough. Harry is cold. Harry is kind. Harry is smart. Rough, red things are round.
Erin is not round.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is smart.[(triple10)] @1: Erin is round.[(((triple7 triple6) -> rule1))]