Anne is blue. Charlie is blue. Erin is not nice. If something is red and white then it is not nice. If Charlie is not rough then Charlie is red. All red, nice things are green. All blue things are green. If Anne is white then Anne is not red. If Erin is green then Erin is blue. All green things are white. If Anne is blue and Anne is not nice then Anne is not rough.
Anne is not green.
@0: Anne is blue.[(triple1)] Charlie is blue.[(triple2)] Erin is not nice.[(triple3)] @1: Anne is green.[(((triple1) -> rule4))] Charlie is green.[(((triple2) -> rule4))] @2: Anne is white.[(((((triple1) -> rule4)) -> rule7))] Charlie is white.[(((((triple2) -> rule4)) -> rule7))] @3: Anne is not red.[(((((((triple1) -> rule4)) -> rule7)) -> rule5))]