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 not 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))]