The dog is big. The dog is blue. The dog is cold. The dog is kind. The dog is nice. If the dog is kind and the dog is cold then the dog is big. If the dog is nice and the dog is blue then the dog is kind. All nice things are kind. If the dog is nice then the dog is kind. All blue, cold things are big. If the dog is cold then the dog is kind.
The dog is not big.