The dog is not blue. The dog is cold. The dog is rough. If something is big then it is not red. All red things are cold.
The dog is not red.
@0: The dog is cold.[(triple2)] The dog is not blue.[(triple1)] The dog is rough.[(triple3)]