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