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