translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle needs the cat. ; $context$ = sent1: The bald eagle is big. sent2: The bald eagle likes the dog. sent3: The cat is cold. sent4: The cat is nice. sent5: The cat needs the dog. sent6: The cat needs the tiger. sent7: The cat sees the dog. sent8: The dog likes the tiger. sent9: The dog needs the cat. sent10: The dog needs the tiger. sent11: The dog sees the bald eagle. sent12: The tiger is nice. sent13: The tiger needs the bald eagle. sent14: The tiger sees the bald eagle. sent15: If something is nice then it sees the cat. sent16: If something likes the bald eagle and it is not cold then it needs the tiger. sent17: If something likes the cat then it needs the cat. sent18: If something sees the bald eagle then it likes the bald eagle. sent19: If something needs the cat then it likes the bald eagle. sent20: If the bald eagle likes the cat and the bald eagle is cold then the cat is red. sent21: If something needs the dog and the dog likes the bald eagle then the bald eagle likes the cat.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 # sent21%int2 & sent5 # sent18%int3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.