Bob is blue. Bob is round. Bob is smart. Bob is white. Charlie is blue. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Gary is blue. Gary is round. Harry is blue. Harry is nice. Harry is smart. All green, blue people are round. All smart people are nice. If Bob is nice then Bob is rough. If someone is smart then they are rough. All rough people are green. If Harry is round and Harry is nice then Harry is smart.
Harry is not rough.
@0: Bob is blue.[(triple1)] Bob is round.[(triple2 OR ((((((triple3) -> rule4)) -> rule5) triple1) -> rule1) OR ((((((((triple3) -> rule2)) -> rule3)) -> rule5) triple1) -> rule1))] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is blue.[(triple5)] Charlie is green.[(triple6 OR ((triple8) -> rule5) OR ((((triple10) -> rule4)) -> rule5))] Charlie is nice.[(triple7 OR ((triple10) -> rule2))] Charlie is rough.[(triple8 OR ((triple10) -> rule4))] Charlie is round.[(triple9 OR ((triple6 triple5) -> rule1) OR ((((triple8) -> rule5) triple5) -> rule1) OR ((((((triple10) -> rule4)) -> rule5) triple5) -> rule1))] Charlie is smart.[(triple10)] Gary is blue.[(triple11)] Gary is round.[(triple12)] Harry is blue.[(triple13)] Harry is nice.[(triple14 OR ((triple15) -> rule2))] Harry is smart.[(triple15)] @1: Bob is nice.[(((triple3) -> rule2))] Bob is rough.[(((triple3) -> rule4) OR ((((triple3) -> rule2)) -> rule3))] Harry is rough.[(((triple15) -> rule4))] @2: Bob is green.[(((((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule2)) -> rule3)) -> rule5))] Harry is green.[(((((triple15) -> rule4)) -> rule5))] @3: Harry is round.[(((((((triple15) -> rule4)) -> rule5) triple13) -> rule1))]