translation.en: $answer$ ; $proof$ ; $question$ = The cat visits the cat. ; $context$ = sent1: The bald eagle chases the cat. sent2: The cat chases the lion. sent3: The cat eats the mouse. sent4: The cat is kind. sent5: The lion chases the bald eagle. sent6: The lion eats the cat. sent7: The mouse chases the lion. sent8: The mouse eats the bald eagle. sent9: The mouse eats the cat. sent10: The mouse is kind. sent11: If something is kind and it chases the lion then it eats the lion. sent12: If something is kind then it visits the bald eagle. sent13: If something eats the cat then it eats the mouse. sent14: If something visits the lion then the lion eats the cat. sent15: If something chases the bald eagle then it chases the mouse. sent16: All nice things are cold. sent17: If something visits the cat and the cat chases the lion then the cat chases the bald eagle. sent18: If something is cold and nice then it visits the cat. sent19: If something is kind and it does not eat the cat then the cat is nice.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 & sent4 # sent19%int3 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.