translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle visits the dog. ; $context$ = sent1: The bald eagle likes the cow. sent2: The cow is kind. sent3: The cow is round. sent4: The cow sees the dog. sent5: The cow sees the lion. sent6: The cow visits the lion. sent7: The dog is nice. sent8: The dog sees the bald eagle. sent9: The dog visits the lion. sent10: The lion likes the bald eagle. sent11: If something likes the dog and it is nice then it is kind. sent12: Kind things are round. sent13: If something is nice then it visits the dog. sent14: If something likes the cow then it is nice. sent15: If something is kind then it visits the bald eagle. sent16: If something is round and it likes the dog then the dog is rough. sent17: If something visits the lion and it visits the dog then it likes the dog.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 # sent14%int2 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.