Bob is green. Bob is smart. Bob is white. Dave is not nice. Dave is rough. Dave is smart. Dave is white. Gary is nice. Gary is red. Gary is white. If Dave is cold and Dave is rough then Dave is red. Nice things are not rough.
Dave is not red.
@0: Bob is green.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Dave is not nice.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Gary is nice.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Gary is not rough.[(((triple8) -> rule2))]