Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is red. Bob is smart. Bob is young. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is young. If Gary is smart then Gary is young. All smart things are red.
Gary is nice.