Bob is not furry. Bob is not green. Bob is not nice. Bob is red. Bob is rough. Bob is not young. Dave is furry. Dave is not nice. Dave is red. Dave is not young. Harry is nice. Harry is not rough. If something is nice then it is green. If something is green then it is blue. If Harry is nice then Harry is furry. If something is red and not nice then it is not young. Red, blue things are not rough. If something is rough and blue then it is furry.
Bob is not nice.
@0: Bob is not furry.[(triple1)] Bob is not green.[(triple2)] Bob is not nice.[(triple3)] Bob is not young.[(triple6 OR ((triple4 triple3) -> rule4))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Dave is furry.[(triple7)] Dave is not nice.[(triple8)] Dave is not young.[(triple10 OR ((triple9 triple8) -> rule4))] Dave is red.[(triple9)] Harry is nice.[(triple11)] Harry is not rough.[(triple12)] @1: Harry is furry.[(((triple11) -> rule3))] Harry is green.[(((triple11) -> rule1))] @2: Harry is blue.[(((((triple11) -> rule1)) -> rule2))]