Bob is kind. Bob is nice. Bob is red. Bob is young. Dave is furry. Dave is not green. Dave is kind. If Dave is furry and Dave is young then Dave is green. If Dave is furry and Dave is kind then Dave is red. Furry people are not young.
Dave is not red.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is young.[(triple4)] Dave is furry.[(triple5)] Dave is kind.[(triple7)] Dave is not green.[(triple6)] @1: Dave is not young.[(((triple5) -> rule3))] Dave is red.[(((triple5 triple7) -> rule2))]