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