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