The mouse is red. If the mouse is green then the mouse is big. If someone is green then they are cold. If someone is green then they are red. All cold, big people are red. All cold people are red. If someone is blue and green then they are big. If someone is big then they are blue. All red, blue people are green.
The mouse is not red.
@0: The mouse is red.[(triple1)]