Erin is round. All smart things are red. Young things are smart. All round things are young.
Erin is round.
@0: Erin is round.[(triple1)] @1: Erin is young.[(((triple1) -> rule3))] @2: Erin is smart.[(((((triple1) -> rule3)) -> rule2))] @3: Erin is red.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))]