translation.en: $answer$ ; $proof$ ; $question$ = The cat sees the mouse. ; $context$ = sent1: The bald eagle eats the mouse. sent2: The cat is green. sent3: The mouse eats the tiger. sent4: The mouse is young. sent5: The mouse sees the bald eagle. sent6: The mouse visits the tiger. sent7: The tiger is green. sent8: If something is kind and it eats the tiger then the tiger visits the mouse. sent9: If something eats the bald eagle then it eats the mouse. sent10: If something eats the bald eagle and the bald eagle is kind then the bald eagle visits the tiger. sent11: If something visits the tiger then it eats the cat. sent12: If something sees the bald eagle and the bald eagle does not visit the mouse then the mouse is kind. sent13: If something sees the cat then the cat sees the mouse. sent14: If something visits the mouse and it does not eat the cat then it sees the cat. sent15: If the cat sees the mouse then the cat is blue.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 # sent14%int2 & # sent8%int3 & # sent12%int4 naf2 sent3 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.