The mouse is red. All young things are big. If the mouse is red and the mouse is rough then the mouse is young. All young, rough things are red. If something is big and rough then it is red. If something is nice and red then it is rough. All nice, young things are big.
The mouse is not red.
@0: The mouse is red.[(triple1)]