translation.en: $answer$ ; $proof$ ; $question$ = The mouse eats the mouse. ; $context$ = sent1: The bald eagle eats the tiger. sent2: The bald eagle is young. sent3: The bald eagle likes the mouse. sent4: The bald eagle needs the rabbit. sent5: The mouse is kind. sent6: The mouse needs the bald eagle. sent7: The rabbit is young. sent8: The rabbit needs the mouse. sent9: The tiger is round. sent10: The tiger likes the bald eagle. sent11: The tiger needs the mouse. sent12: If something likes the rabbit then it eats the mouse. sent13: If something needs the rabbit then it likes the rabbit. sent14: All kind things are round. sent15: If the mouse eats the rabbit then the mouse eats the bald eagle. sent16: If something eats the mouse then the mouse needs the rabbit.
translation.ro: $answer$ = True ; $proof$ = # sent12%int1 # sent13%int2 # sent16%int3 # sent12%int4 # sent13%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.