translation.en: $answer$ ; $proof$ ; $question$ = The lion chases the bear. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle needs the dog. sent3: The bald eagle visits the dog. sent4: The bear is blue. sent5: The bear needs the bald eagle. sent6: The dog chases the bald eagle. sent7: The dog is cold. sent8: The dog visits the bear. sent9: The lion is blue. sent10: The lion needs the bear. sent11: If someone is big then they chase the dog. sent12: If someone chases the bear and they chase the dog then the bear is nice. sent13: If the bear chases the lion then the lion needs the bald eagle. sent14: If someone is young and big then they visit the bald eagle. sent15: If the lion is not young then the lion chases the bear. sent16: If someone chases the bear then the bear chases the lion. sent17: If someone chases the lion then the lion is big. sent18: If someone is cold and they do not visit the bald eagle then they chase the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.