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