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.
Dave is not blue.
@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))]