Dave is furry. Dave is nice. Dave is young. If something is furry and nice then it is kind. If something is furry and white then it is nice.
Dave is not furry.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is young.[(triple3)] @1: Dave is kind.[(((triple1 triple2) -> rule1))]