The mouse is not red. If someone is blue then they are not red. Round, blue people are red. Round people are not red. If someone is blue then they are cold. If the mouse is round and the mouse is red then the mouse is rough. If the mouse is round and the mouse is cold then the mouse is red.
The mouse is not cold.
@0: The mouse is not red.[(triple1)]