translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle chases the cat. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.
translation.ro: $answer$ = True ; $proof$ = sent1