Bob is not furry. Bob is red. Bob is smart. Bob is young. Dave is furry. Dave is green. Dave is smart. All green things are furry. Kind, red things are not smart.
Dave is not green.
@0: Bob is not furry.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Dave is furry.[(triple5 OR ((triple6) -> rule1))] Dave is green.[(triple6)] Dave is smart.[(triple7)]