translation.en: $answer$ ; $proof$ ; $question$ = The tiger needs the bald eagle. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The mouse is round. sent6: The mouse is young. sent7: The mouse needs the bald eagle. sent8: The mouse sees the bald eagle. sent9: The tiger needs the bald eagle. sent10: The tiger needs the lion. sent11: If the lion does not see the mouse then the lion needs the mouse. sent12: If something visits the tiger and the tiger needs the bald eagle then the bald eagle is red. sent13: If something sees the bald eagle and the bald eagle sees the lion then the bald eagle sees the mouse. sent14: If something needs the mouse and it sees the tiger then it visits the tiger. sent15: If something sees the bald eagle then it needs the bald eagle. sent16: If something is red and it does not visit the bald eagle then the bald eagle needs the mouse. sent17: If the tiger is green and the tiger does not see the mouse then the tiger needs the mouse. sent18: If something visits the mouse and it visits the tiger then it is kind. sent19: If something needs the tiger and it does not visit the tiger then the tiger visits the mouse.
translation.ro: $answer$ = True ; $proof$ = sent9