translation.en: $answer$ ; $proof$ ; $question$ = The cow does not need the mouse. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat likes the bear. sent4: The cat needs the cow. sent5: The cat sees the bear. sent6: The cat sees the cow. sent7: The cow is rough. sent8: The mouse likes the cat. sent9: The mouse needs the bear. sent10: The mouse sees the cow. sent11: If someone sees the bear then they need the mouse. sent12: If someone needs the bear and the bear needs the cow then the bear needs the cat. sent13: If someone likes the cow then the cow sees the bear. sent14: If the bear is red and the bear needs the cow then the cow needs the bear. sent15: If someone needs the mouse then they are big. sent16: If someone sees the bear and they are big then they like the cow. sent17: If the cat needs the mouse then the mouse needs the cow. sent18: If someone is kind then they see the cat.
translation.ro: $answer$ = False ; $proof$ = # sent11%int1 # sent13%int2 # sent16%int3 & sent5 # sent15%int4 # sent11%int5 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.