The dog is blue. The dog is cold. The dog is nice. The dog is red. The dog is round. If the dog is nice then the dog is red. If the dog is nice and the dog is cold then the dog is red. If the dog is red then the dog is blue. If something is blue then it is nice. Cold things are blue. All cold, nice things are round. All round, red things are nice. If the dog is round and the dog is red then the dog is cold.
The dog is not blue.