Dave is furry. Dave is green. Dave is white. Furry, white people are young. All furry people are smart. If someone is smart then they are round.
Dave is round.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is white.[(triple3)] @1: Dave is smart.[(((triple1) -> rule2))] Dave is young.[(((triple1 triple3) -> rule1))] @2: Dave is round.[(((((triple1) -> rule2)) -> rule3))]