Task: Fact Verification
Input (English): Paragraph: The lion needs the squirrel. If something does not eat the squirrel then it likes the lion. The mouse does not need the squirrel. If something is big then it likes the squirrel. The cow needs the squirrel. If something needs the cow then it likes the cow. The mouse needs the cow. The lion is red. If something needs the mouse then the mouse is big. The squirrel is red. If something eats the squirrel then the squirrel is young. The lion likes the squirrel. The lion needs the cow. The lion needs the mouse. If something likes the squirrel then the squirrel eats the cow. If something needs the mouse then it needs the lion. The squirrel is not kind. The mouse eats the cow. The mouse likes the squirrel. If something does not like the lion then it is young.     Question: The lion is red.
Output (English): True