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.

Input: Consider Input: Paragraph: The cat eats the cow. The rabbit is nice. If something visits the cow and it is rough then the cow likes the cat. The rabbit does not visit the cat. The cow is big. The rabbit does not like the cat. If something is nice and rough then it visits the cat. The cat is cold. If something is cold and it likes the cow then the cow is not big. If something visits the cat and the cat does not eat the cow then it is not cold. If the cow eats the rabbit then the rabbit is nice. If the rabbit is nice then the rabbit eats the cat. If something is big and it visits the cat then it eats the cow. The cow eats the cat. The cat is rough. If something does not eat the rabbit and it does not eat the cow then it visits the cow. The rabbit likes the cow. The cat does not visit the rabbit.     Question: The cat is cold.

Output: True


Input: Consider Input: Paragraph: If something is rough then it is big. Gary is kind. Erin is rough. Erin is red. Gary is green. Gary is blue. Erin is blue. If Gary is rough then Gary is green. All kind things are blue. All quiet things are big. Bob is blue. Bob is rough. If something is green and blue then it is quiet. Bob is green. Red, quiet things are blue. Bob is big.     Question: Gary is blue.

Output: True


Input: Consider Input: Paragraph: Rough people are not nice. The bear is nice. If someone is red and kind then they are rough. The bear is not rough. The bear is red. The bear is not kind. The bear is not green. If the bear is not red then the bear is kind.     Question: The bear is rough.


Output: False


