Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is round. Gary is smart. If Gary is smart then Gary is blue. All blue things are big. If Gary is kind and Gary is blue then Gary is round. Smart, kind things are quiet. If something is blue and big then it is green. All round things are green.
Gary is not blue.