translation.en: $answer$ ; $proof$ ; $question$ = The mouse does not chase the dog. ; $context$ = sent1: The dog likes the lion. sent2: The dog needs the lion. sent3: The lion is big. sent4: The lion likes the dog. sent5: The mouse needs the tiger. sent6: The tiger chases the dog. sent7: The tiger is big. sent8: The tiger is cold. sent9: The tiger is rough. sent10: The tiger likes the mouse. sent11: The tiger needs the lion. sent12: If the dog is big then the dog needs the lion. sent13: If the mouse does not like the lion then the lion chases the dog. sent14: Round people are cold. sent15: If someone chases the tiger and the tiger is kind then they are cold. sent16: If someone likes the mouse then the mouse chases the dog. sent17: If the mouse chases the dog then the dog chases the tiger. sent18: If someone is kind then they are round. sent19: If someone is rough and cold then they need the mouse. sent20: If someone chases the tiger then they are kind.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.