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: If something visits the cat and it is rough then it chases the cat. The cat is cold. The dog needs the cat. The cat visits the dog. The dog is cold. The cat is green. The cat chases the dog. The cat is rough. If the dog visits the cat and the cat is green then the cat visits the dog. The cat is red. The cat is kind. The dog is green. The dog visits the cat. The dog is red. The dog is kind. The dog chases the cat. The dog is rough. The cat needs the dog.     Question: The dog is not cold.
[EX A]: False

[EX Q]: Paragraph: If someone needs the lion then they see the squirrel. If someone visits the squirrel then the squirrel visits the cat. If someone needs the bear then the bear needs the squirrel. The squirrel is big. If the lion is big then the lion does not visit the bear. The squirrel needs the bear. The cat needs the squirrel. The bear visits the cat. The squirrel does not see the lion. If the bear is nice and someone does not visit the bear then they see the squirrel. The bear sees the lion. The cat does not need the lion. The lion is nice. The cat visits the lion. The bear needs the squirrel. If someone is not nice then they are rough. The squirrel sees the bear. The cat sees the bear. The bear is big. The lion is cold. The lion does not need the bear. The cat is big.     Question: The squirrel needs the bear.
[EX A]: True

[EX Q]: Paragraph: If something is green then it is quiet. Erin is cold. All cold, white things are young. Erin is quiet. Erin is white. Erin is nice. Erin is round. All white things are green. Quiet things are green. Erin is young. All round, white things are nice. Erin is green. If something is quiet then it is nice.     Question: Erin is nice.
[EX A]:
True