Anne is red. Erin is round. Fiona is rough. Harry is not rough. Young people are rough. Rough people are smart. Red people are young.
Harry is not smart.
@0: Anne is red.[(triple1)] Erin is round.[(triple2)] Fiona is rough.[(triple3)] Harry is not rough.[(triple4)] @1: Anne is young.[(((triple1) -> rule3))] Fiona is smart.[(((triple3) -> rule2))] @2: Anne is rough.[(((((triple1) -> rule3)) -> rule1))] @3: Anne is smart.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]