translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle visits the bald eagle. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle is nice. sent3: The bald eagle visits the mouse. sent4: The bear eats the tiger. sent5: The bear is kind. sent6: The bear visits the tiger. sent7: The mouse eats the bear. sent8: The mouse is green. sent9: The mouse is kind. sent10: The mouse sees the bald eagle. sent11: The mouse sees the bear. sent12: The mouse sees the tiger. sent13: The tiger eats the mouse. sent14: The tiger sees the bald eagle. sent15: The tiger sees the bear. sent16: The tiger visits the mouse. sent17: If something is kind then it visits the bald eagle. sent18: If something eats the bear then the bear sees the bald eagle. sent19: If the bald eagle is round then the bald eagle eats the bear. sent20: If something eats the bald eagle and it sees the bear then the bald eagle is kind. sent21: If something sees the bald eagle then the bald eagle visits the mouse. sent22: If something visits the bald eagle and the bald eagle visits the mouse then it eats the bald eagle. sent23: If something is blue and it eats the tiger then the tiger eats the mouse.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 # sent20%int2 & # sent22%int3 & # sent17%int4 sent9 sent3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.