The mouse is not blue. The mouse is cold. The mouse is nice. The mouse is red. The mouse is not round. If the mouse is not red then the mouse is not cold.
The mouse needs the mouse.
@0: The mouse is cold.[(triple2)] The mouse is nice.[(triple3)] The mouse is not blue.[(triple1)] The mouse is not round.[(triple5)] The mouse is red.[(triple4)]