Gary is young. Harry is nice. All big, green things are nice. If Gary is big and Gary is green then Gary is blue. If something is young then it is nice. All round things are big. All round things are big. If something is blue and kind then it is big.
Gary is not round.