translation.en: $answer$ ; $proof$ ; $question$ = The mouse does not visit the tiger. ; $context$ = sent1: The cat is big. sent2: The cat is nice. sent3: The cat sees the dog. sent4: The cat visits the dog. sent5: The dog is big. sent6: The dog is nice. sent7: The mouse is nice. sent8: The mouse is red. sent9: The tiger eats the cat. sent10: The tiger eats the dog. sent11: The tiger visits the mouse. sent12: If someone visits the tiger then the tiger sees the mouse. sent13: If the cat eats the dog and the cat sees the dog then the cat is big. sent14: If someone eats the dog then they visit the cat. sent15: If the tiger is young and the tiger is nice then the tiger eats the mouse. sent16: If someone sees the mouse and the mouse is red then the mouse visits the tiger. sent17: If someone visits the tiger then they visit the cat. sent18: If someone visits the cat and the cat visits the dog then the dog visits the tiger. sent19: If the cat sees the tiger then the cat eats the dog.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 & # sent12%int2 # sent18%int3 & # sent14%int4 sent10 sent4 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.