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