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