Given a text paragraph and a fact, generate 'True' if the fact can be inferred/concluded from the paragraph, otherwise generate 'False'. The input passage contains as set of logical statements so the fact can be marked either 'True' or 'False' if the relavant info regarding the fact is present in the given passage. If the Fact can't be marked True or False from the given paragraph, mark it as False. Don't use knowledge outside the given paragraph to check the fact.

[EX Q]: Paragraph: Charlie is big. All cold people are big. Charlie is cold. Charlie is green. All cold people are white.     Question: Charlie is green.
[EX A]: True

[EX Q]: 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 mouse does not need the cow.
[EX A]: False

[EX Q]: Paragraph: If something is not rough then it is red. Gary is young. Charlie is rough. Erin is kind. Charlie is not cold. If something is rough and smart then it is not red. Erin is cold. Harry is not young. Gary is rough.     Question: Charlie is not cold.
[EX A]:
True