translation.en: $answer$ ; $proof$ ; $question$ = The cow does not eat the mouse. ; $context$ = sent1: The bear chases the cow. sent2: The bear eats the squirrel. sent3: The bear is cold. sent4: The bear visits the mouse. sent5: The bear visits the squirrel. sent6: The cow eats the mouse. sent7: The cow is cold. sent8: The cow visits the bear. sent9: The cow visits the squirrel. sent10: The mouse chases the cow. sent11: The squirrel eats the bear. sent12: If something eats the cow then the cow chases the squirrel. sent13: If something eats the squirrel and the squirrel eats the mouse then the mouse chases the cow. sent14: If something eats the mouse then it visits the cow. sent15: If something eats the mouse then it chases the bear. sent16: If something visits the bear and it visits the mouse then the bear is blue. sent17: If something eats the bear then the bear is cold. sent18: If something is blue and it eats the squirrel then it eats the cow. sent19: If the mouse chases the cow and the cow chases the squirrel then the mouse visits the bear. sent20: If something chases the bear then the bear is blue.
translation.ro: $answer$ = False ; $proof$ = sent6