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