translation.en: $answer$ ; $proof$ ; $question$ = The rabbit does not need the dog. ; $context$ = sent1: The cat is big. sent2: The cat likes the lion. sent3: The cat needs the dog. sent4: The dog is green. sent5: The dog is kind. sent6: The lion is kind. sent7: The lion is rough. sent8: The lion likes the dog. sent9: The lion needs the cat. sent10: The rabbit eats the lion. sent11: The rabbit is red. sent12: The rabbit needs the lion. sent13: Big people are rough. sent14: If someone is kind and they do not like the rabbit then the rabbit is big. sent15: If someone is kind then they eat the rabbit. sent16: If the rabbit is big and the rabbit does not need the lion then the lion is big. sent17: If someone needs the cat then they need the dog. sent18: If someone is rough and they do not eat the rabbit then they eat the dog. sent19: If someone eats the dog then they need the cat.
translation.ro: $answer$ = False ; $proof$ = # sent17%int1 # sent19%int2 # sent18%int3 & # sent13%int4 # sent14%int5 naf2 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.