Anne is green. Anne is nice. Anne is young. If Anne is green and Anne is nice then Anne is cold. If something is green then it is rough. If something is quiet and not rough then it is not young.
Anne is green.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] @1: Anne is cold.[(((triple1 triple2) -> rule1))] Anne is rough.[(((triple1) -> rule2))]