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