Task: Fact Verification
Input (English): Paragraph: The mouse is cold. The mouse is big. If someone is big then they are kind. Green people are cold. If someone is green and red then they are big. If the mouse is green then the mouse is red. The mouse is green. All cold, kind people are red. The mouse is red. The mouse is kind. If someone is big then they are kind. If someone is green then they are cold. If someone is big and green then they are kind.     Question: The mouse is kind.
Output (English): True