Anne is smart. Anne is not young. Gary is green. Rough things are round. If Gary is rough and Gary is smart then Gary is green. All blue, round things are smart. All big things are rough. All green things are rough. If something is green and blue then it is smart. Green, round things are smart. If something is round and not smart then it is big.
Gary is not round.