Anne is blue. Anne is round. Erin is not blue. Erin is cold. Erin is rough. Erin is not round. Harry is blue. Rough, round things are young. If something is blue then it is rough. If something is young then it is smart.
Erin is young.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Erin is cold.[(triple4)] Erin is not blue.[(triple3)] Erin is not round.[(triple6)] Erin is rough.[(triple5)] Harry is blue.[(triple7)] @1: Anne is rough.[(((triple1) -> rule2))] Harry is rough.[(((triple7) -> rule2))] @2: Anne is young.[(((((triple1) -> rule2) triple2) -> rule1))] @3: Anne is smart.[(((((((triple1) -> rule2) triple2) -> rule1)) -> rule3))]