translation.en: $answer$ ; $proof$ ; $question$ = The tiger visits the bald eagle. ; $context$ = sent1: The bald eagle is cold. sent2: The bald eagle is rough. sent3: The bald eagle needs the tiger. sent4: The bald eagle visits the squirrel. sent5: The lion is cold. sent6: The lion is kind. sent7: The lion needs the tiger. sent8: The squirrel chases the bald eagle. sent9: The squirrel chases the tiger. sent10: The squirrel visits the tiger. sent11: The tiger is red. sent12: If someone needs the squirrel then they chase the tiger. sent13: If someone is rough and they chase the squirrel then the squirrel visits the lion. sent14: If someone visits the tiger and they visit the lion then the lion needs the bald eagle. sent15: If someone visits the bald eagle and the bald eagle visits the squirrel then the bald eagle chases the squirrel. sent16: If someone is red then they chase the lion. sent17: If someone chases the lion and they visit the bald eagle then they need the bald eagle. sent18: If someone visits the bald eagle then they need the bald eagle. sent19: If someone chases the lion then they visit the bald eagle. sent20: If someone chases the tiger then the tiger chases the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 # sent16%int2 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.