translation.en: $answer$ ; $proof$ ; $question$ = The lion is blue. ; $context$ = sent1: The cat chases the mouse. sent2: The cat is cold. sent3: The cat likes the mouse. sent4: The cow chases the mouse. sent5: The cow is big. sent6: The lion is blue. sent7: The lion is cold. sent8: The lion is young. sent9: The lion visits the cat. sent10: The lion visits the mouse. sent11: The mouse is cold. sent12: The mouse likes the cat. sent13: The mouse likes the lion. sent14: The mouse visits the cat. sent15: If someone is big and they chase the lion then the lion likes the cat. sent16: If someone visits the cat and the cat chases the cow then they are kind. sent17: If someone chases the lion and the lion visits the cat then the cat is kind. sent18: If someone visits the cow then they visit the cat. sent19: If the cat chases the mouse then the mouse chases the lion. sent20: If someone is kind then they chase the lion. sent21: If someone chases the lion then they visit the cow. sent22: If someone is kind then they chase the cat.
translation.ro: $answer$ = True ; $proof$ = sent6