translation.en: $answer$ ; $proof$ ; $question$ = The mouse is round. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle likes the bear. sent4: The bear is blue. sent5: The bear is rough. sent6: The bear is round. sent7: The bear likes the mouse. sent8: The bear visits the bald eagle. sent9: The mouse is blue. sent10: The mouse is cold. sent11: The mouse is round. sent12: The mouse likes the bear. sent13: The mouse visits the bear. sent14: The rabbit is cold. sent15: The rabbit needs the mouse. sent16: The rabbit visits the bald eagle. sent17: If the bear likes the mouse then the mouse visits the bear. sent18: If something likes the bald eagle and it is not blue then it needs the rabbit. sent19: If something is rough and it needs the bear then it needs the mouse. sent20: If something needs the rabbit then it is cold. sent21: If the rabbit needs the mouse and the mouse visits the bald eagle then the mouse is rough. sent22: If something visits the bald eagle then the bald eagle likes the rabbit. sent23: If something is nice and it likes the mouse then it visits the rabbit. sent24: If something visits the mouse then it likes the bald eagle. sent25: If something likes the rabbit and it is rough then it visits the mouse.
translation.ro: $answer$ = True ; $proof$ = sent11