Anne is white. Gary is rough. Harry is smart. If something is white then it is green. If something is round and rough then it is green.
Anne is not white.
@0: Anne is white.[(triple1)] Gary is rough.[(triple2)] Harry is smart.[(triple3)] @1: Anne is green.[(((triple1) -> rule1))]