translation.en: $answer$ ; $proof$ ; $question$ = The bear sees the squirrel. ; $context$ = sent1: The bald eagle is red. sent2: The bald eagle needs the bear. sent3: The bear is red. sent4: The bear sees the squirrel. sent5: The rabbit is cold. sent6: The rabbit needs the squirrel. sent7: The squirrel is round. sent8: If something is round then it is red. sent9: If something is red then it visits the rabbit. sent10: If something sees the bald eagle then it is round. sent11: If something visits the rabbit then the rabbit is round. sent12: If the bald eagle sees the rabbit then the bald eagle visits the rabbit. sent13: If something is green then it needs the bear. sent14: If something sees the bear and the bear needs the rabbit then the bear is cold. sent15: If something sees the bear and it is kind then it needs the bear. sent16: All red things are green.
translation.ro: $answer$ = True ; $proof$ = sent4