translation.en: $answer$ ; $proof$ ; $question$ = The mouse does not chase the cow. ; $context$ = sent1: The bald eagle is red. sent2: The cow is red. sent3: The cow visits the mouse. sent4: The mouse is round. sent5: The mouse is young. sent6: The mouse visits the cow. sent7: The tiger visits the cow. sent8: If the cow is young and the cow is not red then the cow visits the bald eagle. sent9: If someone is green then they chase the cow. sent10: If someone chases the bald eagle then the bald eagle chases the mouse. sent11: If someone is red then they chase the bald eagle. sent12: If the bald eagle chases the mouse then the bald eagle likes the mouse. sent13: If someone is cold and they chase the bald eagle then the bald eagle likes the mouse. sent14: If someone likes the mouse then the mouse is green. sent15: If someone visits the cow then the cow likes the tiger.
translation.ro: $answer$ = False ; $proof$ = # sent9%int1 # sent14%int2 # sent12%int3 # sent10%int4 # sent11%int5 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.