translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle does not need the rabbit. ; $context$ = sent1: The bald eagle sees the lion. sent2: The cow chases the lion. sent3: The cow is blue. sent4: The cow is round. sent5: The cow sees the rabbit. sent6: The lion is blue. sent7: The lion sees the bald eagle. sent8: The rabbit is nice. sent9: The rabbit needs the bald eagle. sent10: The rabbit needs the lion. sent11: The rabbit sees the cow. sent12: If something sees the rabbit then it needs the bald eagle. sent13: If something needs the bald eagle then it needs the lion. sent14: If something is nice and it does not chase the cow then the cow is blue. sent15: If something is blue then it needs the rabbit. sent16: If something needs the rabbit then it sees the rabbit. sent17: If something sees the bald eagle and it needs the rabbit then the bald eagle is blue.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 # sent17%int2 & sent7 # sent15%int3 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.