translation.en: $answer$ ; $proof$ ; $question$ = The mouse sees the cow. ; $context$ = sent1: The bald eagle eats the mouse. sent2: The bald eagle needs the rabbit. sent3: The bald eagle sees the cow. sent4: The cow is young. sent5: The cow needs the bald eagle. sent6: The cow sees the rabbit. sent7: The mouse eats the cow. sent8: The mouse needs the bald eagle. sent9: The rabbit eats the cow. sent10: The rabbit is red. sent11: The rabbit needs the mouse. sent12: If someone needs the cow then the cow sees the mouse. sent13: If the bald eagle eats the mouse then the mouse is rough. sent14: If someone sees the mouse then the mouse sees the cow. sent15: If someone is rough and they need the mouse then the mouse needs the rabbit. sent16: If someone is round then they eat the rabbit. sent17: If someone sees the cow then they are red. sent18: If someone is round and young then they need the rabbit. sent19: If someone is rough then they need the cow.
translation.ro: $answer$ = True ; $proof$ = # sent14%int1 # sent12%int2 # sent19%int3 # sent13%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.