translation.en: $answer$ ; $proof$ ; $question$ = The mouse does not chase the bear. ; $context$ = sent1: The bear is cold. sent2: The bear is kind. sent3: The bear visits the cow. sent4: The cow is kind. sent5: The cow likes the lion. sent6: The cow likes the mouse. sent7: The cow visits the bear. sent8: The cow visits the lion. sent9: The lion chases the bear. sent10: The lion chases the mouse. sent11: The lion likes the cow. sent12: The lion visits the bear. sent13: The mouse chases the bear. sent14: The mouse chases the cow. sent15: The mouse likes the bear. sent16: The mouse visits the bear. sent17: If something is blue and it chases the bear then it chases the lion. sent18: If something visits the mouse then it chases the bear. sent19: If something is red and it chases the mouse then it visits the cow. sent20: If something visits the cow and it chases the mouse then the mouse is red. sent21: All blue things are red. sent22: If something is red then it is blue. sent23: If something chases the mouse then it is blue. sent24: If something is red and it chases the cow then it likes the bear.
translation.ro: $answer$ = False ; $proof$ = sent13