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 is cold and it likes the cat then the cat eats the bear. If something likes the cat and the cat is not young then it is kind. If something is big then it does not eat the bear. The bear eats the cat. If something is nice then it eats the bear. The squirrel likes the cat. The cat likes the squirrel. If something eats the squirrel then the squirrel is young. If something likes the squirrel and the squirrel eats the cat then the cat does not like the bear.     Question: The cat does not like the squirrel.
[EX A]: False

[EX Q]: Paragraph: The rabbit does not need the lion. If the rabbit visits the bear then the bear visits the dog. If someone is green and not round then they need the rabbit. If someone needs the dog then they are red. The lion is red. The dog needs the rabbit. The lion needs the rabbit. The bear is cold. The lion eats the bear. If someone eats the bear and the bear eats the dog then the dog visits the lion. The lion visits the rabbit. The bear is red. If someone needs the dog and they are not cold then they need the rabbit. If someone visits the rabbit and they do not visit the lion then the rabbit is round. If someone is round and not red then they need the dog. The lion is cold. The lion eats the dog. The rabbit does not eat the lion. The bear does not need the dog. If someone does not eat the rabbit then they are red.     Question: The lion is red.
[EX A]: True

[EX Q]: Paragraph: If something sees the bear then the bear is green. If the tiger sees the bear and the bear visits the tiger then the tiger likes the cow. If the cow sees the tiger then the tiger is nice. The rabbit sees the cow. If something sees the bear then the bear visits the rabbit. If something sees the cow and the cow visits the tiger then it sees the tiger. If something is green then it sees the cow. If something is cold and it visits the cow then it visits the rabbit. The tiger visits the rabbit. The cow visits the tiger. The bear visits the tiger. If something sees the cow and the cow sees the tiger then the tiger sees the bear.     Question: The rabbit sees the cow.
[EX A]:
True


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 is cold and it likes the cat then the cat eats the bear. If something likes the cat and the cat is not young then it is kind. If something is big then it does not eat the bear. The bear eats the cat. If something is nice then it eats the bear. The squirrel likes the cat. The cat likes the squirrel. If something eats the squirrel then the squirrel is young. If something likes the squirrel and the squirrel eats the cat then the cat does not like the bear.     Question: The cat does not like the squirrel.
[EX A]: False

[EX Q]: Paragraph: The rabbit does not need the lion. If the rabbit visits the bear then the bear visits the dog. If someone is green and not round then they need the rabbit. If someone needs the dog then they are red. The lion is red. The dog needs the rabbit. The lion needs the rabbit. The bear is cold. The lion eats the bear. If someone eats the bear and the bear eats the dog then the dog visits the lion. The lion visits the rabbit. The bear is red. If someone needs the dog and they are not cold then they need the rabbit. If someone visits the rabbit and they do not visit the lion then the rabbit is round. If someone is round and not red then they need the dog. The lion is cold. The lion eats the dog. The rabbit does not eat the lion. The bear does not need the dog. If someone does not eat the rabbit then they are red.     Question: The lion is red.
[EX A]: True

[EX Q]: Paragraph: If something sees the bear then the bear is green. If the tiger sees the bear and the bear visits the tiger then the tiger likes the cow. If the cow sees the tiger then the tiger is nice. The rabbit sees the cow. If something sees the bear then the bear visits the rabbit. If something sees the cow and the cow visits the tiger then it sees the tiger. If something is green then it sees the cow. If something is cold and it visits the cow then it visits the rabbit. The tiger visits the rabbit. The cow visits the tiger. The bear visits the tiger. If something sees the cow and the cow sees the tiger then the tiger sees the bear.     Question: The rabbit sees the cow.
[EX A]:
user
True


assistant
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 is cold and it likes the cat then the cat eats the bear. If something likes the cat and the cat is not young then it is kind. If something is big then it does not eat the bear. The bear eats the cat. If something is nice then it eats the bear. The squirrel likes the cat. The cat likes the squirrel. If something eats the squirrel then the squirrel is young. If something likes the squirrel and the squirrel eats the cat then the cat does not like the bear.     Question: The cat does not like the squirrel.
[EX A]: False

[EX Q]: Paragraph: The rabbit does not need the lion. If the rabbit visits the bear then the bear visits the dog. If someone is green and not round then they need the rabbit. If someone needs the dog then they are red. The lion is red. The dog needs the rabbit. The lion needs the rabbit. The bear is cold. The lion eats the bear. If someone eats the bear and the bear eats the dog then the dog visits the lion. The lion visits the rabbit. The bear is red. If someone needs the dog and they are not cold then they need the rabbit. If someone visits the rabbit and they do not visit the lion then the rabbit is round. If someone is round and not red then they need the dog. The lion is cold. The lion eats the dog. The rabbit does not eat the lion. The bear does not need the dog. If someone does not eat the rabbit then they are red.     Question: The lion is red.
[EX A]: True

[EX Q]: Paragraph: If something sees the bear then the bear is green. If the tiger sees the bear and the bear visits the tiger then the tiger likes the cow. If the cow sees the tiger then the tiger is nice. The rabbit sees the cow. If something sees the bear then the bear visits the rabbit. If something sees the cow and the cow visits the tiger then it sees the tiger. If something is green then it sees the cow. If something is cold and it visits the cow then it visits the rabbit. The tiger visits the rabbit. The cow visits the tiger. The bear visits the tiger. If something sees the cow and the cow sees the tiger then the tiger sees the bear.     Question: The rabbit sees the cow.
[EX A]:
True

