Dave is smart. Erin is furry. If Erin is white then Erin is rough. If something is round then it is white. All furry things are round.
Erin is white.
@0: Dave is smart.[(triple1)] Erin is furry.[(triple2)] @1: Erin is round.[(((triple2) -> rule3))] @2: Erin is white.[(((((triple2) -> rule3)) -> rule2))] @3: Erin is rough.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]