translation.en: $answer$ ; $proof$ ; $question$ = The bear needs the squirrel. ; $context$ = sent1: The bald eagle is cold. sent2: The bear eats the squirrel. sent3: The bear is kind. sent4: The bear needs the cat. sent5: The cat is kind. sent6: The cat visits the bald eagle. sent7: The cat visits the bear. sent8: The cat visits the squirrel. sent9: The squirrel is rough. sent10: The squirrel needs the bald eagle. sent11: The squirrel needs the bear. sent12: The squirrel visits the bald eagle. sent13: If something visits the squirrel then the squirrel eats the cat. sent14: If something eats the cat and it is big then the cat visits the bald eagle. sent15: If something visits the squirrel and it eats the bald eagle then the squirrel is kind. sent16: If something is red and it needs the cat then the cat eats the bald eagle. sent17: If something is kind then it needs the squirrel. sent18: If something visits the bald eagle then it needs the bald eagle. sent19: If something is red then it eats the cat. sent20: If something eats the bald eagle and it needs the squirrel then the bald eagle visits the bear. sent21: If something needs the squirrel then it is red.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.