translation.en: $answer$ ; $proof$ ; $question$ = The squirrel does not like the mouse. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the mouse. sent3: The bald eagle likes the squirrel. sent4: The lion chases the squirrel. sent5: The lion likes the bald eagle. sent6: The mouse chases the lion. sent7: The squirrel eats the bald eagle. sent8: The squirrel eats the lion. sent9: The squirrel is cold. sent10: The squirrel is young. sent11: If the mouse eats the squirrel then the mouse eats the bald eagle. sent12: If someone eats the lion then they like the squirrel. sent13: If someone chases the lion and they are not red then the lion is green. sent14: If someone likes the mouse and they are young then the mouse eats the lion. sent15: If someone likes the squirrel then they like the mouse. sent16: If someone chases the lion and they are young then they eat the squirrel.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 # sent12%int2 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.