Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is smart. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is nice. If Gary is big and Gary is smart then Gary is cold. All blue, big people are cold. All furry, smart people are cold. Nice, quiet people are cold. Furry people are blue. If someone is blue then they are smart.
Gary is not big.