translation.en: $answer$ ; $proof$ ; $question$ = The lion does not visit the cat. ; $context$ = sent1: The cat needs the lion. sent2: The cat visits the cow. sent3: The cat visits the dog. sent4: The cow needs the lion. sent5: The cow visits the dog. sent6: The dog chases the cow. sent7: The dog needs the cow. sent8: The dog visits the lion. sent9: The lion chases the cat. sent10: The lion is young. sent11: The lion needs the cow. sent12: If someone chases the cow and the cow does not chase the lion then the lion visits the cat. sent13: If someone is nice then they need the cow. sent14: If someone is rough and not blue then they visit the dog. sent15: If someone needs the cat and they are nice then they visit the lion. sent16: If someone visits the cat then the cat is nice. sent17: If someone chases the cow then they need the cat. sent18: If someone chases the lion and the lion visits the cat then the cat visits the lion. sent19: If someone is nice then they chase the cow.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.