translation.en: $answer$ ; $proof$ ; $question$ = The cow is not green. ; $context$ = sent1: The bald eagle chases the mouse. sent2: The bald eagle chases the squirrel. sent3: The bald eagle needs the cow. sent4: The cow is big. sent5: The cow is blue. sent6: The cow is cold. sent7: The mouse eats the bald eagle. sent8: The mouse is kind. sent9: The squirrel chases the mouse. sent10: The squirrel is cold. sent11: If someone is big then they need the bald eagle. sent12: If someone eats the cow then the cow is green. sent13: If someone eats the bald eagle then the bald eagle eats the mouse. sent14: If the bald eagle chases the mouse then the bald eagle is kind. sent15: If someone is green then they chase the cow. sent16: If someone is cold and they need the bald eagle then they eat the cow. sent17: If someone chases the cow then the cow needs the mouse.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 # sent16%int2 & sent6 # sent11%int3 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.