Task: Fact Verification
Input (English): 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.
Output (English): True