Anne is blue. Anne is white. Anne is young. Charlie is furry. Charlie is nice. Erin is blue. Erin is furry. Erin is white. Erin is young. Harry is big. Harry is nice. Harry is young. If Charlie is big then Charlie is blue. If Harry is nice and Harry is young then Harry is furry. Nice people are furry. All red people are blue. If Harry is blue and Harry is nice then Harry is furry. All white people are big. If someone is nice and young then they are red. All white, big people are red.
Charlie is not white.
@0: Anne is blue.[(triple1 OR ((((triple2 ((triple2) -> rule6)) -> rule8)) -> rule4))] Anne is white.[(triple2)] Anne is young.[(triple3)] Charlie is furry.[(triple4 OR ((triple5) -> rule3))] Charlie is nice.[(triple5)] Erin is blue.[(triple6 OR ((((triple8 ((triple8) -> rule6)) -> rule8)) -> rule4))] Erin is furry.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Harry is big.[(triple10)] Harry is nice.[(triple11)] Harry is young.[(triple12)] @1: Anne is big.[(((triple2) -> rule6))] Erin is big.[(((triple8) -> rule6))] Harry is furry.[(((triple11) -> rule3) OR ((triple11 triple12) -> rule2) OR ((((((triple11 triple12) -> rule7)) -> rule4) triple11) -> rule5))] Harry is red.[(((triple11 triple12) -> rule7))] @2: Anne is red.[(((triple2 ((triple2) -> rule6)) -> rule8))] Erin is red.[(((triple8 ((triple8) -> rule6)) -> rule8))] Harry is blue.[(((((triple11 triple12) -> rule7)) -> rule4))]