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