The dog is red. All blue people are not nice. All cold people are not green. If the dog is not red then the dog is green. If someone is cold then they are nice. All cold, green people are not nice. If someone is blue and not green then they are not nice.
The dog is not green.