Bob is rough. Bob is smart. Bob is white. Dave is blue. Dave is not cold. Harry is not cold. Harry is not nice. If something is rough and green then it is blue. Rough, smart things are not blue. All cold things are white.
Harry is smart.
@0: Bob is rough.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Dave is blue.[(triple4)] Dave is not cold.[(triple5)] Harry is not cold.[(triple6)] Harry is not nice.[(triple7)] @1: Bob is not blue.[(((triple1 triple2) -> rule2))]