translation.en: $answer$ ; $proof$ ; $question$ = The tiger visits the lion. ; $context$ = sent1: The bald eagle is red. sent2: The bald eagle likes the tiger. sent3: The bald eagle visits the cow. sent4: The cow is cold. sent5: The lion visits the cow. sent6: The tiger is cold. sent7: The tiger visits the lion. sent8: If someone visits the lion then they like the lion. sent9: If someone is kind then they are cold. sent10: If someone likes the lion then they are rough. sent11: If someone is rough and not green then they visit the cow. sent12: If someone chases the cow and they are not cold then they visit the cow. sent13: If someone visits the cow then they like the tiger. sent14: If someone is cold then they like the tiger. sent15: If someone visits the tiger then they chase the bald eagle. sent16: If someone is cold and they visit the cow then they visit the tiger.
translation.ro: $answer$ = True ; $proof$ = sent7