Anne is blue. Anne is rough. Anne is round. Anne is smart. Charlie is kind. Charlie is not white. Erin is not kind. Erin is rough. Erin is smart. Erin is white. Harry is blue. Harry is kind. Harry is rough. Harry is round. Harry is smart. Harry is white. Blue, round people are red. If someone is kind then they are red. All white, round people are rough. Rough, white people are blue. All red people are round. If someone is round then they are smart.
Anne is not white.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple3) -> rule6))] Charlie is kind.[(triple5)] Charlie is not white.[(triple6)] Erin is not kind.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)] Harry is blue.[(triple11 OR ((triple13 triple16) -> rule4) OR ((((triple16 triple14) -> rule3) triple16) -> rule4) OR ((((triple16 ((((triple12) -> rule2)) -> rule5)) -> rule3) triple16) -> rule4))] Harry is kind.[(triple12)] Harry is rough.[(triple13 OR ((triple16 triple14) -> rule3) OR ((triple16 ((((triple12) -> rule2)) -> rule5)) -> rule3))] Harry is round.[(triple14 OR ((((triple12) -> rule2)) -> rule5))] Harry is smart.[(triple15 OR ((triple14) -> rule6) OR ((((((triple12) -> rule2)) -> rule5)) -> rule6))] Harry is white.[(triple16)] @1: Anne is red.[(((triple1 triple3) -> rule1))] Charlie is red.[(((triple5) -> rule2))] Erin is blue.[(((triple8 triple10) -> rule4))] Harry is red.[(((triple12) -> rule2) OR ((triple11 triple14) -> rule1) OR ((((triple13 triple16) -> rule4) triple14) -> rule1) OR ((((((triple16 triple14) -> rule3) triple16) -> rule4) triple14) -> rule1))] @2: Charlie is round.[(((((triple5) -> rule2)) -> rule5))] @3: Charlie is smart.[(((((((triple5) -> rule2)) -> rule5)) -> rule6))]