Dave is cold. Dave is furry. Dave is young. If Dave is furry then Dave is not green.
Dave is cold.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is young.[(triple3)] @1: Dave is not green.[(((triple2) -> rule1))]