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