translation.en: $answer$ ; $proof$ ; $question$ = The mouse likes the squirrel. ; $context$ = sent1: The bear is red. sent2: The mouse is cold. sent3: The mouse is nice. sent4: The mouse is red. sent5: The mouse likes the tiger. sent6: The mouse needs the bear. sent7: The squirrel eats the tiger. sent8: The squirrel needs the bear. sent9: The squirrel needs the tiger. sent10: The tiger is nice. sent11: The tiger likes the bear. sent12: If someone is green then they need the squirrel. sent13: If someone is big and they like the tiger then the tiger likes the squirrel. sent14: If someone likes the squirrel and the squirrel eats the bear then the squirrel is green. sent15: If someone needs the squirrel then they are nice. sent16: If someone is green then they eat the bear. sent17: If the mouse is cold and the mouse is not big then the mouse likes the squirrel. sent18: If the squirrel eats the bear then the bear eats the tiger. sent19: If someone is cold and they like the squirrel then the squirrel eats the bear.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.