translation.en: $answer$ ; $proof$ ; $question$ = The cow visits the cat. ; $context$ = sent1: The cat is round. sent2: The cat sees the tiger. sent3: The cat visits the cow. sent4: The cow eats the cat. sent5: The cow eats the mouse. sent6: The cow is round. sent7: The cow sees the cat. sent8: The mouse visits the cow. sent9: The tiger is rough. sent10: The tiger sees the cat. sent11: If something visits the mouse then the mouse is round. sent12: If the cow sees the tiger and the cow eats the tiger then the tiger visits the cat. sent13: If something eats the cat then it visits the cow. sent14: If something visits the cat and it does not eat the mouse then the cat visits the tiger. sent15: If something visits the tiger and it visits the cat then it eats the cat. sent16: If something visits the mouse then it visits the cat. sent17: If something visits the cow and it visits the cat then it sees the cat. sent18: If something is round then it visits the mouse.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 # sent18%int2 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.