translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle is big. ; $context$ = sent1: The bald eagle chases the lion. sent2: The bald eagle is cold. sent3: The bald eagle is round. sent4: The bear chases the lion. sent5: The bear eats the bald eagle. sent6: The bear is cold. sent7: The bear is green. sent8: The bear is red. sent9: The lion chases the bald eagle. sent10: The lion is cold. sent11: The rabbit eats the bald eagle. sent12: The rabbit eats the lion. sent13: The rabbit is big. sent14: The rabbit is round. sent15: The rabbit visits the bald eagle. sent16: The rabbit visits the bear. sent17: If someone visits the lion then they are red. sent18: If someone is cold and they visit the bald eagle then they chase the bald eagle. sent19: If someone is red and they chase the bald eagle then the bald eagle visits the lion. sent20: All red people are big. sent21: If someone is cold and they chase the bald eagle then they visit the lion. sent22: If someone chases the bear and they are not red then the bear eats the lion. sent23: If someone eats the lion then the lion chases the bear.
translation.ro: $answer$ = True ; $proof$ = # sent20%int1 # sent17%int2 # sent19%int3 & # sent17%int4 # sent21%int5 sent9 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.