Anne is round. Charlie is green. Erin is red. Harry is big. All red things are round. Blue things are white. If something is red and smart then it is round. If Anne is round then Anne is white. If Erin is white and Erin is big then Erin is blue. If something is big and white then it is blue. All white, red things are big. Red things are white.
Harry is not round.
@0: Anne is round.[(triple1)] Charlie is green.[(triple2)] Erin is red.[(triple3)] Harry is big.[(triple4)] @1: Anne is white.[(((triple1) -> rule4))] Erin is round.[(((triple3) -> rule1))] Erin is white.[(((triple3) -> rule8))] @2: Erin is big.[(((((triple3) -> rule8) triple3) -> rule7))] @3: Erin is blue.[(((((triple3) -> rule8) ((((triple3) -> rule8) triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule8) triple3) -> rule7) ((triple3) -> rule8)) -> rule6))]