translation.en: $answer$ ; $proof$ ; $question$ = The bear needs the rabbit. ; $context$ = sent1: The bear eats the rabbit. sent2: The bear sees the squirrel. sent3: The mouse eats the squirrel. sent4: The mouse is kind. sent5: The mouse sees the rabbit. sent6: The rabbit needs the squirrel. sent7: The squirrel eats the bear. sent8: If someone sees the squirrel and the squirrel sees the bear then the squirrel needs the mouse. sent9: If someone needs the rabbit and the rabbit sees the mouse then the mouse sees the rabbit. sent10: If someone is rough then they need the rabbit. sent11: If someone needs the rabbit then the rabbit sees the squirrel. sent12: If someone sees the squirrel then they are rough. sent13: If someone is nice and they need the mouse then they are rough. sent14: If someone is green then they are kind.
translation.ro: $answer$ = True ; $proof$ = # sent10%int1 # sent12%int2 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.