translation.en: $answer$ ; $proof$ ; $question$ = The bear does not visit the tiger. ; $context$ = sent1: The bear is young. sent2: The bear needs the dog. sent3: The bear visits the dog. sent4: The cow is blue. sent5: The cow is cold. sent6: The cow needs the tiger. sent7: The cow visits the bear. sent8: The dog chases the cow. sent9: The dog is cold. sent10: The dog is green. sent11: The dog needs the cow. sent12: The dog visits the bear. sent13: The dog visits the cow. sent14: The tiger visits the bear. sent15: Blue people are green. sent16: If someone needs the dog and they are green then they visit the tiger. sent17: If someone is rough and they chase the bear then they are green. sent18: If someone is blue and they visit the bear then the bear is blue. sent19: If someone chases the bear and they are blue then they need the dog. sent20: If someone chases the bear then they visit the cow. sent21: If someone visits the tiger then they visit the cow. sent22: If someone visits the cow and the cow visits the bear then they chase the dog. sent23: If someone is cold then they are young.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 & sent4 # sent15%int2 # sent18%int3 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.