Bob is furry. Charlie is smart. Dave is round. Erin is furry. All smart things are not young. If something is smart and not young then it is furry.
Bob is round.
@0: Bob is furry.[(triple1)] Charlie is smart.[(triple2)] Dave is round.[(triple3)] Erin is furry.[(triple4)] @1: Charlie is not young.[(((triple2) -> rule1))] @2: Charlie is furry.[(((triple2 ((triple2) -> rule1)) -> rule2))]