Erin is nice. Erin is round. Erin is smart. Kind things are big. All nice things are rough. If something is smart and rough then it is big.
Erin is red.
@0: Erin is nice.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] @1: Erin is rough.[(((triple1) -> rule2))] @2: Erin is big.[(((triple3 ((triple1) -> rule2)) -> rule3))]