The mouse is blue. The mouse is not green. The mouse is not red. If the mouse is red then the mouse is nice. If someone is green and round then they are blue. All round people are not green.
The mouse is red.
@0: The mouse is blue.[(triple1)] The mouse is not green.[(triple2)] The mouse is not red.[(triple3)]