translation.en: $answer$ ; $proof$ ; $question$ = The mouse chases the cow. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle is rough. sent3: The bald eagle likes the squirrel. sent4: The bald eagle sees the mouse. sent5: The cow chases the bald eagle. sent6: The cow chases the mouse. sent7: The cow likes the mouse. sent8: The mouse chases the squirrel. sent9: The mouse is blue. sent10: The mouse likes the bald eagle. sent11: The mouse likes the cow. sent12: The mouse sees the bald eagle. sent13: The squirrel chases the mouse. sent14: The squirrel is cold. sent15: The squirrel likes the cow. sent16: The squirrel sees the cow. sent17: If something is red and it chases the mouse then the mouse chases the cow. sent18: If something chases the bald eagle and it is not cold then it likes the cow. sent19: If something is rough then it is red. sent20: If something likes the cow and it is red then the cow is rough. sent21: If something is cold and it sees the squirrel then it chases the squirrel. sent22: If the mouse chases the cow then the cow chases the bald eagle. sent23: If something is blue and it does not see the squirrel then it is rough. sent24: If something likes the squirrel then the squirrel likes the mouse.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 & # sent19%int2 # sent20%int3 & sent9 # sent19%int4 # sent23%int5 naf1 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.