Anne is white. Dave is not green. Erin is round. If something is blue and green then it is white. Nice things are white. All green, round things are red. If something is blue and not round then it is red. If something is blue then it is green. All round things are blue.
Dave is not white.
@0: Anne is white.[(triple1)] Dave is not green.[(triple2)] Erin is round.[(triple3)] @1: Erin is blue.[(((triple3) -> rule6))] @2: Erin is green.[(((((triple3) -> rule6)) -> rule5))] @3: Erin is red.[(((((((triple3) -> rule6)) -> rule5) triple3) -> rule3))] Erin is white.[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1))]