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