translation.en: $answer$ ; $proof$ ; $question$ = The rabbit does not chase the mouse. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle is big. sent3: The bald eagle is green. sent4: The mouse chases the bald eagle. sent5: The mouse likes the rabbit. sent6: The rabbit is rough. sent7: The rabbit likes the mouse. sent8: The squirrel is big. sent9: The squirrel likes the bald eagle. sent10: The squirrel needs the rabbit. sent11: If something needs the mouse then the mouse is big. sent12: If something is rough then it chases the mouse. sent13: If something chases the mouse then the mouse chases the squirrel. sent14: If something is green and it chases the mouse then the mouse chases the rabbit. sent15: All big things are rough. sent16: If something chases the mouse and the mouse chases the rabbit then the rabbit needs the mouse. sent17: If something likes the rabbit and the rabbit is cold then it likes the squirrel. sent18: If something likes the bald eagle and the bald eagle needs the rabbit then the bald eagle chases the mouse. sent19: If something is green and it likes the bald eagle then it likes the rabbit.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.