Dave is furry. Dave is nice. Dave is young. Young, nice things are not kind. If something is furry and not kind then it is red.
Dave is not smart.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is young.[(triple3)] @1: Dave is not kind.[(((triple3 triple2) -> rule1))] @2: Dave is red.[(((triple1 ((triple3 triple2) -> rule1)) -> rule2))]