Anne is green. Anne is red. Anne is young. All young, red things are round. All red things are round. All red things are blue. Red things are blue. If something is cold and young then it is green. If Anne is cold and Anne is red then Anne is green. If something is nice and not round then it is not cold. If something is green and young then it is cold.
Anne is red.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3)] @1: Anne is blue.[(((triple2) -> rule3) OR ((triple2) -> rule4))] Anne is cold.[(((triple1 triple3) -> rule8))] Anne is round.[(((triple2) -> rule2) OR ((triple3 triple2) -> rule1))]