translation.en: $answer$ ; $proof$ ; $question$ = The lion is blue. ; $context$ = sent1: The bald eagle chases the lion. sent2: The bald eagle is kind. sent3: The bald eagle is rough. sent4: The bald eagle likes the lion. sent5: The lion is blue. sent6: The mouse chases the squirrel. sent7: The mouse is blue. sent8: The mouse visits the bald eagle. sent9: The squirrel is blue. sent10: The squirrel likes the bald eagle. sent11: If someone is rough and they like the lion then they are blue. sent12: If someone chases the squirrel and they are not green then they chase the mouse. sent13: If someone visits the lion and the lion is big then the lion likes the squirrel. sent14: If the mouse likes the bald eagle then the bald eagle chases the squirrel. sent15: If someone chases the lion then they visit the mouse. sent16: If someone chases the bald eagle and the bald eagle does not like the mouse then the bald eagle is big. sent17: If someone likes the bald eagle and they visit the mouse then they are big. sent18: If someone chases the mouse then they like the bald eagle.
translation.ro: $answer$ = True ; $proof$ = sent5