translation.en: $answer$ ; $proof$ ; $question$ = The squirrel needs the squirrel. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 # sent17%int2 # sent13%int3 # sent18%int4 & # sent20%int5 sent10 sent12 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.