translation.en: $answer$ ; $proof$ ; $question$ = The mouse does not see the dog. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the mouse. sent3: The bald eagle visits the cow. sent4: The cow sees the mouse. sent5: The dog sees the mouse. sent6: The mouse chases the cow. sent7: The mouse is kind. sent8: The mouse is nice. sent9: The mouse sees the dog. sent10: The mouse visits the bald eagle. sent11: The mouse visits the dog. sent12: If something chases the cow and it sees the cow then the cow sees the dog. sent13: If something is nice then it visits the cow. sent14: If something chases the dog then it is cold. sent15: If something is nice then it chases the bald eagle. sent16: If something sees the cow then it is rough. sent17: If something sees the bald eagle then it is cold. sent18: All cold things are kind. sent19: If something chases the bald eagle then it chases the dog. sent20: If something is cold and it sees the dog then it sees the cow.
translation.ro: $answer$ = False ; $proof$ = sent9