Anne is quiet. Anne is rough. Charlie is quiet. Erin is blue. Erin is rough. Harry is blue. Harry is white. If something is nice then it is blue. Smart, nice things are not blue. All young things are white. Rough things are white. If something is rough and white then it is nice. If something is young then it is nice.
Charlie is not white.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Charlie is quiet.[(triple3)] Erin is blue.[(triple4 OR ((((triple5 ((triple5) -> rule4)) -> rule5)) -> rule1))] Erin is rough.[(triple5)] Harry is blue.[(triple6)] Harry is white.[(triple7)] @1: Anne is white.[(((triple2) -> rule4))] Erin is white.[(((triple5) -> rule4))] @2: Anne is nice.[(((triple2 ((triple2) -> rule4)) -> rule5))] Erin is nice.[(((triple5 ((triple5) -> rule4)) -> rule5))] @3: Anne is blue.[(((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule1))]