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