The dog is not red. If the dog is red and the dog is big then the dog is cold. If something is red and not nice then it is big. If something is red and green then it is big. If the dog is nice then the dog is big. If the dog is red and the dog is nice then the dog is not big. All big things are not green.
The dog is red.
@0: The dog is not red.[(triple1)]