The mouse is nice. The mouse is round. The mouse is not young. Blue things are red. All young things are not nice. If something is nice and not blue then it is not round. All red things are round. If the mouse is nice and the mouse is blue then the mouse is not round. Red things are young.
The mouse is round.
@0: The mouse is nice.[(triple1)] The mouse is not young.[(triple3)] The mouse is round.[(triple2)]