translation.en: $answer$ ; $proof$ ; $question$ = The mouse needs the bear. ; $context$ = sent1: The bear needs the mouse. sent2: The lion is red. sent3: The mouse eats the rabbit. sent4: The mouse needs the bear. sent5: The mouse needs the lion. sent6: The rabbit is big. sent7: The rabbit is round. sent8: If something eats the bear then the bear sees the rabbit. sent9: If something sees the mouse and it eats the bear then it needs the rabbit. sent10: If something needs the mouse then it sees the lion. sent11: If something needs the mouse and it eats the lion then it eats the bear. sent12: If something sees the rabbit then the rabbit needs the lion. sent13: If something sees the lion then it eats the lion. sent14: If something is red and it does not need the rabbit then the rabbit sees the bear.
translation.ro: $answer$ = True ; $proof$ = sent4