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