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