translation.en: $answer$ ; $proof$ ; $question$ = The tiger needs the mouse. ; $context$ = sent1: The bald eagle needs the cow. sent2: The bald eagle needs the tiger. sent3: The bald eagle sees the cow. sent4: The cow is big. sent5: The cow needs the bald eagle. sent6: The cow needs the tiger. sent7: The mouse eats the cow. sent8: The mouse is blue. sent9: The mouse is cold. sent10: The mouse needs the bald eagle. sent11: The mouse sees the cow. sent12: The mouse sees the tiger. sent13: The tiger eats the cow. sent14: The tiger needs the bald eagle. sent15: The tiger needs the cow. sent16: The tiger needs the mouse. sent17: If someone needs the tiger then they are red. sent18: If the mouse needs the bald eagle and the bald eagle needs the cow then the mouse needs the cow. sent19: If the cow needs the mouse and the mouse sees the cow then the mouse is big. sent20: If someone eats the mouse then they see the cow. sent21: If someone sees the mouse and they see the bald eagle then the bald eagle needs the tiger. sent22: If someone is big then they see the bald eagle. sent23: If someone is big and they see the bald eagle then they need the mouse.
translation.ro: $answer$ = True ; $proof$ = sent16