Anne is cold. Anne is furry. Anne is red. Charlie is big. Charlie is blue. Charlie is cold. Charlie is red. Charlie is white. Charlie is young. Harry is young. All furry, cold things are white. If something is white then it is young. If something is young then it is big. White things are blue. White, furry things are blue. White, blue things are cold.
Anne is not white.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Charlie is big.[(triple4 OR ((triple9) -> rule3) OR ((((triple8) -> rule2)) -> rule3))] Charlie is blue.[(triple5 OR ((triple8) -> rule4))] Charlie is cold.[(triple6 OR ((triple8 triple5) -> rule6) OR ((triple8 ((triple8) -> rule4)) -> rule6))] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9 OR ((triple8) -> rule2))] Harry is young.[(triple10)] @1: Anne is white.[(((triple2 triple1) -> rule1))] Harry is big.[(((triple10) -> rule3))] @2: Anne is blue.[(((((triple2 triple1) -> rule1)) -> rule4) OR ((((triple2 triple1) -> rule1) triple2) -> rule5))] Anne is young.[(((((triple2 triple1) -> rule1)) -> rule2))] @3: Anne is big.[(((((((triple2 triple1) -> rule1)) -> rule2)) -> rule3))]