Anne is big. Anne is green. Anne is not nice. If something is nice then it is green. Cold things are red. If Anne is nice then Anne is red. If something is green then it is young. All cold, green things are red. Smart things are green. If Anne is red and Anne is smart then Anne is nice. If something is young and not nice then it is red.
Anne is not green.