translation.en: $answer$ ; $proof$ ; $question$ = The bear visits the lion. ; $context$ = sent1: The bear is round. sent2: The bear likes the cow. sent3: The bear visits the lion. sent4: The cow is big. sent5: The cow is rough. sent6: The lion needs the bear. sent7: The mouse likes the lion. sent8: If someone visits the lion then they are round. sent9: If someone needs the bear then they need the lion. sent10: If someone needs the lion then they visit the lion. sent11: If someone visits the lion and the lion is round then they like the lion. sent12: If someone is rough then they need the lion. sent13: If someone likes the lion and they need the lion then the lion visits the mouse. sent14: If someone is rough then they visit the lion. sent15: If someone likes the lion and the lion is big then they are kind.
translation.ro: $answer$ = True ; $proof$ = sent3