Anne is green. Anne is rough. Anne is young. All white people are rough. White people are rough. Rough people are white. If Anne is blue and Anne is white then Anne is rough. All green, blue people are not nice. If Anne is not white and Anne is not rough then Anne is not green.
Anne is not green.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] @1: Anne is white.[(((triple2) -> rule3))]