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