The dog is cold. If someone is nice and green then they are red. Red, cold people are not green. If someone is nice and not green then they are not blue.
The dog is not cold.
@0: The dog is cold.[(triple1)]