Anne is blue. Anne is quiet. Anne is red. Anne is round. Erin is red. Erin is rough. Erin is not smart. Gary is not red. Harry is quiet. Harry is smart. Smart, rough things are nice. Rough things are nice.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Erin is not smart.[(triple7)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Gary is not red.[(triple8)] Harry is quiet.[(triple9)] Harry is smart.[(triple10)] @1: Erin is nice.[(((triple6) -> rule2))]