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