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