translation.en: $answer$ ; $proof$ ; $question$ = The tiger does not need the rabbit. ; $context$ = sent1: The dog chases the squirrel. sent2: The dog chases the tiger. sent3: The dog eats the tiger. sent4: The dog is young. sent5: The dog needs the squirrel. sent6: The rabbit chases the dog. sent7: The rabbit chases the tiger. sent8: The squirrel chases the dog. sent9: The squirrel is round. sent10: The squirrel needs the rabbit. sent11: The squirrel needs the tiger. sent12: The tiger chases the dog. sent13: The tiger eats the dog. sent14: The tiger eats the squirrel. sent15: The tiger is green. sent16: The tiger is round. sent17: If someone is green then they eat the rabbit. sent18: If someone needs the squirrel and the squirrel is green then they need the tiger. sent19: If someone eats the rabbit then they need the squirrel. sent20: If the tiger needs the rabbit then the rabbit is green. sent21: If someone is nice then they need the rabbit. sent22: If the tiger is round then the tiger is young. sent23: If someone chases the tiger and the tiger is kind then the tiger eats the rabbit. sent24: If someone needs the squirrel then they are nice. sent25: If someone chases the tiger then the tiger chases the squirrel.
translation.ro: $answer$ = False ; $proof$ = # sent21%int1 # sent24%int2 # sent19%int3 # sent17%int4 sent15 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.