translation.en: $answer$ ; $proof$ ; $question$ = The squirrel does not need the mouse. ; $context$ = sent1: The dog chases the mouse. sent2: The dog is rough. sent3: The dog needs the rabbit. sent4: The dog needs the squirrel. sent5: The mouse is blue. sent6: The mouse likes the rabbit. sent7: The mouse likes the squirrel. sent8: The mouse needs the squirrel. sent9: The rabbit chases the squirrel. sent10: The rabbit is rough. sent11: The rabbit likes the squirrel. sent12: The rabbit needs the dog. sent13: The rabbit needs the squirrel. sent14: The squirrel needs the rabbit. sent15: If something likes the squirrel and the squirrel likes the dog then it likes the dog. sent16: If something needs the rabbit and it is not rough then it chases the dog. sent17: If something chases the dog and the dog does not chase the squirrel then it is red. sent18: If something is red and it needs the dog then the dog likes the squirrel. sent19: If something likes the dog then the dog likes the squirrel. sent20: If something likes the mouse then it likes the squirrel. sent21: If something is young and it needs the rabbit then the rabbit is cold. sent22: If something is red then it needs the mouse. sent23: If something needs the mouse then the mouse needs the rabbit.
translation.ro: $answer$ = False ; $proof$ = # sent22%int1 # sent17%int2 & # sent16%int3 naf2 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.