translation.en: $answer$ ; $proof$ ; $question$ = The squirrel is not big. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is young. sent3: The bald eagle needs the lion. sent4: The lion is cold. sent5: The lion likes the bald eagle. sent6: The lion needs the bald eagle. sent7: The lion needs the mouse. sent8: The mouse eats the lion. sent9: The mouse eats the squirrel. sent10: The mouse likes the bald eagle. sent11: The mouse needs the bald eagle. sent12: The squirrel is round. sent13: The squirrel likes the mouse. sent14: The squirrel needs the bald eagle. sent15: If something likes the mouse then it is big. sent16: If something is green then it likes the mouse. sent17: If something eats the squirrel and it is not round then the squirrel is young. sent18: If something is big and not round then it likes the lion. sent19: If something likes the lion and the lion likes the bald eagle then the lion likes the mouse.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 sent13 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.