translation.en: $answer$ ; $proof$ ; $question$ = The rabbit does not like the mouse. ; $context$ = sent1: The bear likes the rabbit. sent2: The bear visits the mouse. sent3: The mouse eats the rabbit. sent4: The rabbit eats the bear. sent5: The rabbit is big. sent6: The tiger visits the mouse. sent7: The tiger visits the rabbit. sent8: If something likes the tiger and the tiger eats the mouse then it visits the mouse. sent9: If something visits the mouse and the mouse eats the tiger then the tiger is red. sent10: If something likes the tiger then it is young. sent11: If something eats the mouse and the mouse is green then the mouse visits the rabbit. sent12: If something likes the mouse then the mouse likes the tiger. sent13: If something visits the rabbit then the rabbit likes the tiger. sent14: If something is young then it likes the mouse.
translation.ro: $answer$ = False ; $proof$ = # sent14%int1 # sent10%int2 # sent13%int3 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.