Anne is blue. Anne is round. Anne is smart. Anne is white. Charlie is cold. Charlie is green. Gary is round. Harry is cold. Harry is green. Harry is nice. Harry is round. Harry is smart. If Gary is cold and Gary is smart then Gary is white. If someone is cold and nice then they are round. If someone is nice and green then they are round. If someone is blue then they are round. If Charlie is white then Charlie is green. All blue people are green. All smart people are nice. If Charlie is nice then Charlie is smart.
Harry is not nice.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2 OR ((triple1) -> rule4) OR ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule3))] Anne is smart.[(triple3)] Anne is white.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Gary is round.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10 OR ((triple12) -> rule7))] Harry is round.[(triple11 OR ((triple10 triple9) -> rule3) OR ((triple8 triple10) -> rule2) OR ((triple8 ((triple12) -> rule7)) -> rule2) OR ((((triple12) -> rule7) triple9) -> rule3))] Harry is smart.[(triple12)] @1: Anne is green.[(((triple1) -> rule6))] Anne is nice.[(((triple3) -> rule7))]