Anne is green. Charlie is quiet. Charlie is white. Fiona is green. Fiona is red. Gary is not quiet. Gary is young. All green things are blue. All green things are blue. All green, white things are not young. Red things are not white. If something is quiet and white then it is not red. If Anne is green and Anne is blue then Anne is red.
Anne is not big.
@0: Anne is green.[(triple1)] Charlie is quiet.[(triple2)] Charlie is white.[(triple3)] Fiona is green.[(triple4)] Fiona is red.[(triple5)] Gary is not quiet.[(triple6)] Gary is young.[(triple7)] @1: Anne is blue.[(((triple1) -> rule1) OR ((triple1) -> rule2))] Charlie is not red.[(((triple2 triple3) -> rule5))] Fiona is blue.[(((triple4) -> rule1) OR ((triple4) -> rule2))] Fiona is not white.[(((triple5) -> rule4))] @2: Anne is red.[(((triple1 ((triple1) -> rule1)) -> rule6) OR ((triple1 ((triple1) -> rule2)) -> rule6))] @3: Anne is not white.[(((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule4) OR ((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule4))]