translation.en: $answer$ ; $proof$ ; $question$ = The dog does not visit the tiger. ; $context$ = sent1: The dog chases the tiger. sent2: The dog is rough. sent3: The dog visits the rabbit. sent4: The dog visits the tiger. sent5: The mouse eats the tiger. sent6: The rabbit chases the mouse. sent7: The rabbit eats the dog. sent8: The rabbit is nice. sent9: The rabbit visits the dog. sent10: The tiger visits the rabbit. sent11: If someone is blue and they visit the rabbit then they chase the rabbit. sent12: If someone visits the dog then the dog is red. sent13: If someone eats the rabbit then the rabbit chases the dog. sent14: If the mouse is not red then the mouse is rough. sent15: If someone visits the rabbit then the rabbit is rough. sent16: If someone visits the mouse and they do not visit the tiger then the tiger is blue. sent17: If someone chases the rabbit then they visit the mouse. sent18: If someone chases the dog then they visit the mouse. sent19: If someone visits the dog and they do not eat the tiger then they eat the rabbit.
translation.ro: $answer$ = False ; $proof$ = sent4