translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle needs the squirrel. ; $context$ = sent1: The bald eagle chases the mouse. sent2: The bald eagle chases the squirrel. sent3: The bald eagle is blue. sent4: The bald eagle is nice. sent5: The bald eagle needs the mouse. sent6: The mouse is blue. sent7: The mouse needs the tiger. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the bald eagle. sent11: The tiger is big. sent12: The tiger is nice. sent13: The tiger needs the mouse. sent14: The tiger visits the squirrel. sent15: If something is round then it needs the squirrel. sent16: If something is blue and it does not need the tiger then the tiger needs the bald eagle. sent17: Nice things are round. sent18: If something is young then it is round. sent19: If something visits the bald eagle and the bald eagle is young then it needs the bald eagle. sent20: If something needs the mouse and it visits the bald eagle then the mouse chases the bald eagle. sent21: If the tiger is young and the mouse does not chase the tiger then the tiger needs the squirrel. sent22: If something needs the squirrel and it needs the bald eagle then the squirrel is young. sent23: If something chases the bald eagle and it is nice then it is big.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 # sent17%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.