Bob is furry. Bob is nice. Dave is cold. Dave is furry. Dave is rough. Dave is smart. Dave is white. Harry is furry. Harry is green. Harry is nice. If Dave is white then Dave is furry. If someone is green then they are cold.
Dave is not furry.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4 OR ((triple7) -> rule1))] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10)] @1: Harry is cold.[(((triple9) -> rule2))]