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