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.

Paragraph: Bob is furry. Bob is rough. Bob is smart. Bob is red. Bob is quiet. Bob is white. Bob is nice. Rough, smart people are white.     Question: Bob is rough.
True

Paragraph: All nice, blue things are white. Charlie is green. If Dave is blue and Dave is furry then Dave is red. Fiona is blue. Dave is nice.     Question: Charlie is not green.
False

Paragraph: The lion needs the squirrel. If something does not eat the squirrel then it likes the lion. The mouse does not need the squirrel. If something is big then it likes the squirrel. The cow needs the squirrel. If something needs the cow then it likes the cow. The mouse needs the cow. The lion is red. If something needs the mouse then the mouse is big. The squirrel is red. If something eats the squirrel then the squirrel is young. The lion likes the squirrel. The lion needs the cow. The lion needs the mouse. If something likes the squirrel then the squirrel eats the cow. If something needs the mouse then it needs the lion. The squirrel is not kind. The mouse eats the cow. The mouse likes the squirrel. If something does not like the lion then it is young.     Question: The lion is red.

True