translation.en: $answer$ ; $proof$ ; $question$ = The bear does not chase the bald eagle. ; $context$ = sent1: The bald eagle chases the bear. sent2: The bald eagle is rough. sent3: The bald eagle sees the cat. sent4: The bear is kind. sent5: The bear is young. sent6: The bear likes the cat. sent7: The bear sees the cat. sent8: The bear sees the mouse. sent9: The cat chases the bald eagle. sent10: The cat is rough. sent11: The cat is young. sent12: The cat sees the mouse. sent13: The mouse is big. sent14: The mouse is young. sent15: The mouse likes the bear. sent16: The mouse sees the cat. sent17: If someone likes the mouse and the mouse is young then they are kind. sent18: If someone is rough then they are kind. sent19: If the cat is young and the cat chases the mouse then the cat likes the bear. sent20: If someone sees the cat and the cat sees the bear then they chase the bald eagle. sent21: If someone chases the cat then they like the cat. sent22: If someone chases the mouse and they see the mouse then the mouse sees the bald eagle. sent23: If someone likes the bear then they are big. sent24: If someone likes the cat then they see the bear. sent25: If someone chases the bald eagle then they chase the cat.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 & sent7 # sent24%int2 # sent21%int3 # sent25%int4 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.