The mouse is not nice. If the mouse is cold and the mouse is nice then the mouse is blue. If the mouse is rough then the mouse is blue. Rough people are cold. Nice people are red. Red, nice people are rough. Blue people are nice.
The mouse is not blue.
@0: The mouse is not nice.[(triple1)]