translation.en: $answer$ ; $proof$ ; $question$ = The lion is young. ; $context$ = sent1: The bald eagle needs the rabbit. sent2: The bald eagle sees the lion. sent3: The lion eats the rabbit. sent4: The lion is young. sent5: The lion sees the bald eagle. sent6: The rabbit eats the bald eagle. sent7: The rabbit eats the tiger. sent8: The rabbit sees the lion. sent9: The tiger eats the bald eagle. sent10: The tiger sees the bald eagle. sent11: If something needs the rabbit then it is red. sent12: If something sees the bald eagle and the bald eagle eats the lion then the lion is rough. sent13: If something needs the tiger and the tiger eats the rabbit then the rabbit sees the lion. sent14: If the rabbit is round and the rabbit is not young then the rabbit sees the lion. sent15: If something eats the tiger and the tiger needs the rabbit then it is rough. sent16: Young things are rough. sent17: If the tiger is not young then the tiger is rough. sent18: If the tiger sees the bald eagle then the tiger is rough. sent19: If something is rough then it needs the rabbit.
translation.ro: $answer$ = True ; $proof$ = sent4