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