The mouse is blue. The mouse is not green. The mouse is young. If the mouse is young then the mouse is red. If someone is blue and not green then they are young. Young, red people are not round. If someone is green and red then they are young. If someone is green and not round then they are not young. If the mouse is round and the mouse is not young then the mouse is red.
The mouse is not green.