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