translation.en: $answer$ ; $proof$ ; $question$ = The dog visits the bald eagle. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the dog. sent3: The bear likes the dog. sent4: The dog is green. sent5: The dog sees the bald eagle. sent6: The dog sees the bear. sent7: The squirrel sees the bear. sent8: If someone is kind then they visit the bald eagle. sent9: If the dog is nice and the dog is cold then the dog sees the squirrel. sent10: If someone visits the bald eagle and they are kind then the bald eagle is green. sent11: If someone likes the bald eagle and the bald eagle is green then they like the dog. sent12: If someone is rough and they like the bear then they visit the bald eagle. sent13: Green people are kind. sent14: If someone visits the bald eagle then the bald eagle sees the dog. sent15: If the dog sees the squirrel and the squirrel is rough then the squirrel likes the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent8%int1 # sent13%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.