translation.en: $answer$ ; $proof$ ; $question$ = The lion is round. ; $context$ = sent1: The bald eagle is kind. sent2: The bald eagle is rough. sent3: The bald eagle sees the lion. sent4: The lion chases the mouse. sent5: The lion sees the bald eagle. sent6: The mouse chases the squirrel. sent7: The mouse eats the lion. sent8: The mouse is green. sent9: The squirrel is cold. sent10: The squirrel sees the bald eagle. sent11: If something sees the mouse and the mouse is green then it chases the mouse. sent12: If the squirrel does not eat the mouse then the squirrel chases the bald eagle. sent13: If something sees the mouse and it eats the squirrel then it is cold. sent14: If something eats the squirrel and the squirrel eats the lion then the squirrel is kind. sent15: If something is round then it chases the lion. sent16: If something chases the squirrel then it is round. sent17: If something chases the bald eagle then it is rough. sent18: If something chases the lion and it does not eat the bald eagle then the lion chases the squirrel. sent19: If something chases the squirrel and it does not chase the mouse then the mouse sees the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 # sent18%int2 & # sent15%int3 # sent16%int4 sent6 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.