Bob is blue. Bob is green. Bob is nice. Bob is round. Bob is white. Dave is blue. Dave is not furry. Dave is green. Dave is not kind. Dave is not round. Dave is white. Harry is blue. Harry is furry. Harry is nice. Harry is round. Harry is white. If Harry is kind then Harry is blue. If Harry is round then Harry is blue. If Harry is kind then Harry is nice. If something is white and not green then it is not blue. Green things are not kind. Furry things are white. If something is white and not blue then it is nice. If something is kind and furry then it is nice.
Dave is not nice.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Dave is blue.[(triple6)] Dave is green.[(triple8)] Dave is not furry.[(triple7)] Dave is not kind.[(triple9 OR ((triple8) -> rule5))] Dave is not round.[(triple10)] Dave is white.[(triple11)] Harry is blue.[(triple12 OR ((triple15) -> rule2))] Harry is furry.[(triple13)] Harry is nice.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16 OR ((triple13) -> rule6))] @1: Bob is not kind.[(((triple2) -> rule5))]