Anne is young. Cold things are blue. If something is young and cold then it is nice. If Anne is young then Anne is cold. All young things are blue. All white things are rough. If something is cold then it is green.
Anne is white.
@0: Anne is young.[(triple1)] @1: Anne is blue.[(((triple1) -> rule4) OR ((((triple1) -> rule3)) -> rule1))] Anne is cold.[(((triple1) -> rule3))] @2: Anne is green.[(((((triple1) -> rule3)) -> rule6))] Anne is nice.[(((triple1 ((triple1) -> rule3)) -> rule2))]