Gary is blue. Gary is furry. Gary is smart. If someone is big and red then they are kind. If someone is not furry then they are not young. If Gary is kind and Gary is furry then Gary is young. If Gary is blue then Gary is red. All smart people are big. If Gary is not young then Gary is red.
Gary is not blue.