Anne is green. Charlie is blue. Charlie is not green. Charlie is nice. Erin is young. Harry is kind. Harry is white. If something is blue then it is nice. If something is blue and not quiet then it is nice. If something is nice then it is kind. If Erin is green then Erin is white. All green things are blue. If something is young then it is white. If Harry is white then Harry is young. If Erin is nice and Erin is blue then Erin is young. All white things are green.
Erin is blue.
@0: Anne is green.[(triple1)] Charlie is blue.[(triple2)] Charlie is nice.[(triple4 OR ((triple2) -> rule1))] Charlie is not green.[(triple3)] Erin is young.[(triple5)] Harry is kind.[(triple6 OR ((((((((triple7) -> rule9)) -> rule5)) -> rule1)) -> rule3))] Harry is white.[(triple7)] @1: Anne is blue.[(((triple1) -> rule5))] Charlie is kind.[(((triple4) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Erin is white.[(((triple5) -> rule6))] Harry is green.[(((triple7) -> rule9))] Harry is young.[(((triple7) -> rule7))] @2: Anne is nice.[(((((triple1) -> rule5)) -> rule1))] Erin is green.[(((((triple5) -> rule6)) -> rule9))] Harry is blue.[(((((triple7) -> rule9)) -> rule5))] @3: Anne is kind.[(((((((triple1) -> rule5)) -> rule1)) -> rule3))] Erin is blue.[(((((((triple5) -> rule6)) -> rule9)) -> rule5))] Harry is nice.[(((((((triple7) -> rule9)) -> rule5)) -> rule1))] @4: Erin is nice.[(((((((((triple5) -> rule6)) -> rule9)) -> rule5)) -> rule1))] @5: Erin is kind.[(((((((((((triple5) -> rule6)) -> rule9)) -> rule5)) -> rule1)) -> rule3))]