translation.en: $answer$ ; $proof$ ; $question$ = The cow chases the tiger. ; $context$ = sent1: The bald eagle chases the mouse. sent2: The bald eagle chases the tiger. sent3: The bald eagle is rough. sent4: The bald eagle needs the mouse. sent5: The bald eagle sees the tiger. sent6: The cow chases the tiger. sent7: The cow is nice. sent8: The cow is rough. sent9: The cow needs the mouse. sent10: The cow needs the tiger. sent11: The mouse chases the cow. sent12: The mouse is round. sent13: The tiger needs the bald eagle. sent14: The tiger needs the mouse. sent15: If something sees the mouse then it needs the cow. sent16: If something needs the bald eagle and it sees the mouse then the mouse is green. sent17: If something chases the mouse then the mouse is big. sent18: If something needs the cow then the cow sees the bald eagle. sent19: If something needs the tiger and it sees the bald eagle then the tiger sees the bald eagle. sent20: If something sees the bald eagle then it needs the tiger. sent21: If the tiger is not rough then the tiger sees the mouse. sent22: If something is round and it needs the cow then the cow is nice. sent23: If something is big and it sees the cow then the cow is rough.
translation.ro: $answer$ = True ; $proof$ = sent6