translation.en: $answer$ ; $proof$ ; $question$ = The mouse eats the mouse. ; $context$ = sent1: The cow chases the squirrel. sent2: The cow is rough. sent3: The dog chases the mouse. sent4: The dog eats the cow. sent5: The dog is young. sent6: The mouse chases the dog. sent7: The mouse chases the squirrel. sent8: The mouse eats the dog. sent9: The mouse visits the cow. sent10: The squirrel is rough. sent11: The squirrel visits the cow. sent12: The squirrel visits the mouse. sent13: If the dog is not rough then the dog eats the squirrel. sent14: If someone chases the squirrel then the squirrel visits the mouse. sent15: If someone chases the mouse and the mouse is not young then they are red. sent16: If someone eats the mouse then they eat the cow. sent17: If someone is red then they eat the mouse. sent18: If someone eats the cow then the cow chases the mouse. sent19: If someone visits the dog and the dog eats the squirrel then they chase the mouse. sent20: If someone chases the cow then they are nice. sent21: If someone chases the mouse and they do not chase the squirrel then the mouse visits the dog.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 # sent15%int2 & # sent19%int3 & # sent21%int5 naf3 # sent13%int4 naf2 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.