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 cat is red. If something is big and it sees the rabbit then the rabbit is big. The rabbit likes the cat. If something is big and kind then it sees the rabbit. If something needs the cat then it is big. If something sees the rabbit and it needs the rabbit then the rabbit is cold. If something sees the cat then the cat needs the rabbit. If something likes the cat then the cat likes the rabbit. If something sees the rabbit and it needs the cat then the rabbit likes the cat. If the cat sees the rabbit then the cat likes the rabbit.     Question: The rabbit likes the cat.

SOLUTION: True

PROBLEM: Paragraph: Charlie is round. Bob is smart. Bob is green. Big people are round. All big, red people are smart. Charlie is green. Blue people are red. Bob is red. Charlie is red. Charlie is big. All big people are quiet. Bob is round. If someone is blue and quiet then they are green. All green, blue people are not round. If someone is smart then they are quiet. Charlie is not blue. Bob is big. If someone is round and not red then they are green. Charlie is smart. Charlie is quiet.     Question: Charlie is big.

SOLUTION: True

PROBLEM: Paragraph: The dog does not need the lion. The lion is red. The dog is not red. The lion is cold. The lion is blue. The dog is green. If the lion is blue and the lion is cold then the lion eats the dog. The dog eats the lion. The dog likes the lion. If the lion eats the dog and the lion is not rough then the lion needs the dog. The dog is not cold. The lion does not like the dog. The dog is rough. The lion needs the dog. The dog is blue. The lion is green. The lion eats the dog. The lion is not rough.     Question: The dog is not blue.

SOLUTION:
False

