Anne is blue. Anne is green. Anne is nice. Anne is quiet. Anne is rough. Fiona is blue. Fiona is quiet. All green things are rough. Rough, green things are blue. All quiet, blue things are white.
Anne is not green.
@0: Anne is blue.[(triple1 OR ((triple5 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple2) -> rule1))] Fiona is blue.[(triple6)] Fiona is quiet.[(triple7)] @1: Anne is white.[(((triple4 triple1) -> rule3) OR ((triple4 ((triple5 triple2) -> rule2)) -> rule3) OR ((triple4 ((((triple2) -> rule1) triple2) -> rule2)) -> rule3))] Fiona is white.[(((triple7 triple6) -> rule3))]