translation.en: $answer$ ; $proof$ ; $question$ = The mouse does not visit the cow. ; $context$ = sent1: The bear eats the cow. sent2: The cat eats the bear. sent3: The cat eats the cow. sent4: The cat is kind. sent5: The cat sees the cow. sent6: The cat visits the mouse. sent7: The cow eats the bear. sent8: The cow is big. sent9: The cow sees the cat. sent10: The cow visits the mouse. sent11: The mouse eats the bear. sent12: The mouse eats the cat. sent13: The mouse is kind. sent14: The mouse sees the cat. sent15: The mouse visits the cat. sent16: The mouse visits the cow. sent17: If someone is cold then they visit the bear. sent18: If someone visits the cat and the cat eats the mouse then they eat the cow. sent19: If someone visits the mouse then the mouse sees the cow. sent20: If the cow eats the cat then the cat is big. sent21: If someone visits the bear then the bear visits the mouse. sent22: If someone sees the cow then they eat the mouse. sent23: If someone visits the mouse then they are cold. sent24: If someone eats the cat and they are cold then the cat visits the bear. sent25: If someone sees the bear and they are rough then they see the cow.
translation.ro: $answer$ = False ; $proof$ = sent16