translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle does not see the cow. ; $context$ = sent1: The bald eagle is big. sent2: The cow is blue. sent3: The cow is cold. sent4: The cow likes the bald eagle. sent5: The cow likes the mouse. sent6: The dog is big. sent7: The mouse likes the dog. sent8: If the bald eagle needs the cow then the bald eagle sees the cow. sent9: If the bald eagle does not like the mouse then the mouse needs the bald eagle. sent10: If something needs the mouse then it needs the cow. sent11: If something sees the mouse then it needs the bald eagle. sent12: If the dog does not see the bald eagle then the bald eagle needs the mouse. sent13: If something sees the cow then it sees the mouse. sent14: If something needs the bald eagle and it needs the dog then it likes the dog. sent15: If the mouse likes the cow then the mouse needs the cow. sent16: If something is red and it does not like the dog then the dog is big.
translation.ro: $answer$ = False ; $proof$ = # sent8%int1 # sent10%int2 # sent12%int3 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.