The mouse is big. The mouse is cold. The mouse is green. The mouse is kind. The mouse is red. If someone is big then they are kind. If someone is big then they are kind. If someone is green then they are cold. All cold, kind people are red. Green people are cold. If the mouse is green then the mouse is red. If someone is big and green then they are kind. If someone is green and red then they are big.
The mouse is not red.