Bob is nice. Dave is furry. Dave is young. All kind, cold things are young. All red things are cold. If something is furry then it is kind.
Dave is furry.
@0: Bob is nice.[(triple1)] Dave is furry.[(triple2)] Dave is young.[(triple3)] @1: Dave is kind.[(((triple2) -> rule3))]