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