translation.en: $answer$ ; $proof$ ; $question$ = The cow does not need the bald eagle. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle sees the cow. sent3: The cow chases the bald eagle. sent4: The cow chases the dog. sent5: The dog sees the squirrel. sent6: The squirrel is round. sent7: The squirrel needs the dog. sent8: If someone chases the dog then they see the squirrel. sent9: If someone sees the dog and they are round then they see the squirrel. sent10: All green people are blue. sent11: If someone chases the cow then the cow is green. sent12: If someone sees the squirrel then they are green. sent13: If the cow is red then the cow needs the bald eagle. sent14: If someone is round and not blue then they are red. sent15: All blue people are red.
translation.ro: $answer$ = False ; $proof$ = # sent13%int1 # sent15%int2 # sent10%int3 # sent12%int4 # sent8%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.