translation.en: $answer$ ; $proof$ ; $question$ = The cow does not eat the lion. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.
translation.ro: $answer$ = False ; $proof$ = sent1