Bob is not big. Bob is not furry. Bob is red. Bob is smart. Dave is not cold. Dave is red. Harry is big. All big, smart people are not furry. All big people are not furry. If Bob is big then Bob is smart. All white, cold people are not big. Cold, smart people are not white. If Dave is furry then Dave is not red. If someone is furry and not cold then they are rough. If someone is big and not red then they are rough.
Dave is not rough.
@0: Bob is not big.[(triple1)] Bob is not furry.[(triple2)] Bob is red.[(triple3)] Bob is smart.[(triple4)] Dave is not cold.[(triple5)] Dave is red.[(triple6)] Harry is big.[(triple7)] @1: Harry is not furry.[(((triple7) -> rule2))]