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