Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is round. Bob is smart. Bob is young. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is round. Gary is smart. Gary is young. Cold things are blue. If Bob is smart then Bob is round. All cold, blue things are round. If something is smart then it is blue. If something is cold and round then it is smart. If something is round and kind then it is smart.
Gary is not kind.