Dave is quiet. Dave is smart. Dave is young. If something is round and quiet then it is furry. Furry, smart things are big. If something is smart then it is round.
Dave is round.
@0: Dave is quiet.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3)] @1: Dave is round.[(((triple2) -> rule3))] @2: Dave is furry.[(((((triple2) -> rule3) triple1) -> rule1))] @3: Dave is big.[(((((((triple2) -> rule3) triple1) -> rule1) triple2) -> rule2))]