translation.en: $answer$ ; $proof$ ; $question$ = The mouse does not like the tiger. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle is blue. sent3: The bald eagle is green. sent4: The bald eagle likes the tiger. sent5: The bald eagle needs the mouse. sent6: The bear eats the bald eagle. sent7: The bear is young. sent8: The mouse is blue. sent9: The mouse is round. sent10: The mouse needs the bald eagle. sent11: The tiger eats the bear. sent12: The tiger likes the bald eagle. sent13: If something eats the mouse then it needs the tiger. sent14: If something needs the mouse and it is blue then it eats the mouse. sent15: If something needs the bald eagle and it needs the tiger then it likes the bear. sent16: If something needs the tiger and the tiger likes the bald eagle then the tiger needs the mouse. sent17: If something eats the bald eagle and it is young then the bald eagle likes the mouse. sent18: If something needs the tiger and the tiger likes the mouse then the tiger eats the bald eagle. sent19: If something needs the mouse and it does not like the mouse then the mouse likes the tiger. sent20: If something likes the tiger then it needs the bear.
translation.ro: $answer$ = False ; $proof$ = # sent19%int1 & # sent16%int2 & # sent13%int3 # sent14%int4 sent2 sent12 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.