Bob is not blue. Bob is not green. Bob is nice. Dave is not blue. Dave is nice. Dave is round. Dave is smart. All smart, nice people are not green.
Dave is not nice.
@0: Bob is nice.[(triple3)] Bob is not blue.[(triple1)] Bob is not green.[(triple2)] Dave is nice.[(triple5)] Dave is not blue.[(triple4)] Dave is round.[(triple6)] Dave is smart.[(triple7)] @1: Dave is not green.[(((triple7 triple5) -> rule1))]