translation.en: $answer$ ; $proof$ ; $question$ = The cat does not visit the mouse. ; $context$ = sent1: The cat chases the cow. sent2: The cat chases the lion. sent3: The cat chases the mouse. sent4: The cat eats the mouse. sent5: The cat visits the lion. sent6: The cow chases the cat. sent7: The cow is green. sent8: The lion chases the cow. sent9: The lion eats the cow. sent10: The lion eats the mouse. sent11: The lion visits the cat. sent12: The mouse eats the cow. sent13: The mouse is rough. sent14: The mouse is round. sent15: If something is cold then it visits the mouse. sent16: If something is round and it eats the mouse then the mouse chases the cow. sent17: If something visits the lion then it is big. sent18: If the mouse chases the cat and the mouse chases the lion then the mouse visits the cat. sent19: If something is cold and it chases the cat then it eats the cow. sent20: If something eats the lion and the lion eats the cow then the lion is cold. sent21: If something is cold and it visits the mouse then the mouse eats the lion. sent22: Big things are cold.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 # sent22%int2 # sent17%int3 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.