Anne is not blue. Anne is not red. Anne is not round. Anne is white. Bob is young. Erin is green. Erin is young. All white things are green. If something is nice and not green then it is red. If something is young and round then it is not red. If something is round and not blue then it is not young. If something is green then it is young. If something is white and red then it is young. Young things are nice. If something is green and red then it is nice.
Erin is not red.
@0: Anne is not blue.[(triple1)] Anne is not red.[(triple2)] Anne is not round.[(triple3)] Anne is white.[(triple4)] Bob is young.[(triple5)] Erin is green.[(triple6)] Erin is young.[(triple7 OR ((triple6) -> rule5))] @1: Anne is green.[(((triple4) -> rule1))] Bob is nice.[(((triple5) -> rule7))] Erin is nice.[(((triple7) -> rule7) OR ((((triple6) -> rule5)) -> rule7))] @2: Anne is young.[(((((triple4) -> rule1)) -> rule5))] @3: Anne is nice.[(((((((triple4) -> rule1)) -> rule5)) -> rule7))]