Dave is nice. Erin is big. Fiona is nice. All big things are round. If something is big and round then it is rough. Smart, big things are round.
Fiona is not rough.
@0: Dave is nice.[(triple1)] Erin is big.[(triple2)] Fiona is nice.[(triple3)] @1: Erin is round.[(((triple2) -> rule1))] @2: Erin is rough.[(((triple2 ((triple2) -> rule1)) -> rule2))]