TASK DEFINITION: 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.
PROBLEM: Paragraph: The bald eagle chases the tiger. The tiger chases the bald eagle. The dog visits the tiger. The dog is rough. The tiger visits the dog. The bald eagle is kind. The tiger likes the bald eagle. If the dog is round and the dog is kind then the dog visits the tiger. If something is kind then it visits the bald eagle.     Question: The dog is rough.

SOLUTION: True

PROBLEM: Paragraph: Harry is young. Bob is young. Bob is red. Harry is blue. Bob is blue. Harry is round. Harry is red. Bob is furry. Harry is furry. Bob is rough. Bob is smart. If Harry is rough and Harry is smart then Harry is round. Harry is rough. Harry is smart. Bob is round.     Question: Harry is red.

SOLUTION: True

PROBLEM: Paragraph: The cow eats the dog. If someone does not chase the mouse then the mouse is not kind. The cow needs the dog. The dog is not cold. The mouse needs the cow. The mouse needs the dog. If someone chases the cat and the cat is kind then they chase the mouse. If someone is round then they chase the cow. If the cow eats the cat then the cat does not chase the cow. The cat is green. If someone is green then they need the cat. If the dog eats the cat then the dog eats the cow. The mouse chases the cow. The mouse is not round. The mouse is cold. The dog does not need the cat. If the mouse eats the cat and the cat eats the dog then the dog is kind. If someone chases the cat and they chase the dog then they eat the mouse.     Question: The mouse is cold.

SOLUTION:
True