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