Anne is cold. Anne is red. Anne is young. If something is green then it is young. If Anne is smart then Anne is young. If something is white then it is rough. All smart things are not white. All red things are white. If Anne is rough and Anne is not young then Anne is green.
Anne is not rough.