The mouse is not big. The mouse is not blue. The mouse is nice. The mouse is not rough. The mouse is not round. Round, big things are rough. All round things are rough. Big, rough things are not nice. If the mouse is big then the mouse is not rough. Big things are round. If something is big and not nice then it is not blue.
The mouse is not nice.
@0: The mouse is nice.[(triple3)] The mouse is not big.[(triple1)] The mouse is not blue.[(triple2)] The mouse is not rough.[(triple4)] The mouse is not round.[(triple5)]