Dave is blue. Dave is furry. Harry is blue. If someone is blue and furry then they are young. All furry, young people are big. If someone is quiet and not nice then they are blue.
Dave is quiet.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Harry is blue.[(triple3)] @1: Dave is young.[(((triple1 triple2) -> rule1))] @2: Dave is big.[(((triple2 ((triple1 triple2) -> rule1)) -> rule2))]