Anne is nice. Anne is white. Anne is young. Smart, nice things are young. Young, cold things are red. Nice things are white. If Anne is white and Anne is smart then Anne is cold. If something is nice then it is cold. If something is cold and nice then it is young.
Anne is not green.
@0: Anne is nice.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule3))] Anne is young.[(triple3 OR ((((triple1) -> rule5) triple1) -> rule6))] @1: Anne is cold.[(((triple1) -> rule5))] @2: Anne is red.[(((triple3 ((triple1) -> rule5)) -> rule2) OR ((((((triple1) -> rule5) triple1) -> rule6) ((triple1) -> rule5)) -> rule2))]