Dave is furry. Dave is nice. Harry is cold. Harry is furry. Harry is not kind. Harry is not nice. Harry is white. If Harry is quiet and Harry is kind then Harry is not white. If Dave is white and Dave is quiet then Dave is not furry. If Harry is not furry and Harry is not white then Harry is nice. If something is quiet and not nice then it is red. If something is nice and not white then it is red. If something is furry and not nice then it is not red. If something is furry and not nice then it is cold. Nice things are cold.
Dave is not furry.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Harry is cold.[(triple3 OR ((triple4 triple6) -> rule7))] Harry is furry.[(triple4)] Harry is not kind.[(triple5)] Harry is not nice.[(triple6)] Harry is white.[(triple7)] @1: Dave is cold.[(((triple2) -> rule8))] Harry is not red.[(((triple4 triple6) -> rule6))]