translation.en: $answer$ ; $proof$ ; $question$ = The bear does not see the rabbit. ; $context$ = sent1: The bald eagle eats the tiger. sent2: The bald eagle is red. sent3: The bald eagle likes the rabbit. sent4: The bear eats the bald eagle. sent5: The bear is rough. sent6: The rabbit eats the tiger. sent7: The tiger eats the bald eagle. sent8: The tiger eats the rabbit. sent9: The tiger is kind. sent10: The tiger likes the bear. sent11: If someone is cold then they see the rabbit. sent12: If someone sees the tiger and the tiger is kind then they see the bald eagle. sent13: If the rabbit is red and the rabbit is rough then the rabbit likes the bear. sent14: If someone sees the rabbit then the rabbit eats the bald eagle. sent15: If someone eats the bald eagle then they are cold. sent16: If someone sees the bald eagle and they eat the bear then they like the bald eagle.
translation.ro: $answer$ = False ; $proof$ = # sent11%int1 # sent15%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.