translation.en: $answer$ ; $proof$ ; $question$ = The mouse needs the mouse. ; $context$ = sent1: The bear is green. sent2: The bear is kind. sent3: The mouse needs the bear. sent4: The mouse visits the bear. sent5: The mouse visits the squirrel. sent6: The mouse visits the tiger. sent7: The squirrel chases the bear. sent8: The squirrel is cold. sent9: The squirrel is nice. sent10: The tiger is green. sent11: The tiger needs the bear. sent12: If something needs the mouse then it is kind. sent13: If the mouse is young then the mouse needs the bear. sent14: If something chases the bear then it needs the tiger. sent15: If something needs the squirrel and it visits the mouse then the mouse needs the squirrel. sent16: If something visits the squirrel then it needs the mouse. sent17: If something chases the squirrel and the squirrel is nice then it is young. sent18: If something visits the mouse and the mouse is green then it needs the tiger. sent19: If something is kind and it visits the tiger then the tiger visits the squirrel. sent20: If the bear needs the squirrel and the bear visits the tiger then the bear chases the tiger.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.