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