Bob is green. Bob is kind. Bob is red. Bob is not rough. Bob is white. Bob is young. Dave is red. Dave is not rough. Dave is white. Dave is young. Gary is blue. Gary is red. Gary is rough. Harry is green. Harry is rough. Harry is white. All green, white things are young. If Bob is not white then Bob is blue. Rough, green things are not red. If something is red then it is kind. All white, blue things are not rough. All young things are not blue.
Harry is blue.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2 OR ((triple3) -> rule4))] Bob is not rough.[(triple4)] Bob is red.[(triple3)] Bob is white.[(triple5)] Bob is young.[(triple6 OR ((triple1 triple5) -> rule1))] Dave is not rough.[(triple8)] Dave is red.[(triple7)] Dave is white.[(triple9)] Dave is young.[(triple10)] Gary is blue.[(triple11)] Gary is red.[(triple12)] Gary is rough.[(triple13)] Harry is green.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Bob is not blue.[(((triple6) -> rule6) OR ((((triple1 triple5) -> rule1)) -> rule6))] Dave is kind.[(((triple7) -> rule4))] Dave is not blue.[(((triple10) -> rule6))] Gary is kind.[(((triple12) -> rule4))] Harry is not red.[(((triple15 triple14) -> rule3))] Harry is young.[(((triple14 triple16) -> rule1))] @2: Harry is not blue.[(((((triple14 triple16) -> rule1)) -> rule6))]