Anne is blue. Anne is quiet. Anne is rough. Gary is not blue. Gary is green. Gary is not round. Gary is not young. If something is rough then it is not young.
Gary is blue.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Gary is green.[(triple5)] Gary is not blue.[(triple4)] Gary is not round.[(triple6)] Gary is not young.[(triple7)] @1: Anne is not young.[(((triple3) -> rule1))]