translation.en: $answer$ ; $proof$ ; $question$ = The squirrel is young. ; $context$ = sent1: The cat is nice. sent2: The cat needs the lion. sent3: The cat visits the lion. sent4: The cow is nice. sent5: The cow needs the cat. sent6: The lion is nice. sent7: The lion is red. sent8: The lion is young. sent9: The lion needs the cow. sent10: The lion needs the squirrel. sent11: The squirrel is young. sent12: If the cow needs the lion then the lion visits the squirrel. sent13: If something needs the squirrel then it visits the cat. sent14: If something needs the cow and it chases the squirrel then the cow is rough. sent15: If something chases the squirrel and it is young then the squirrel needs the cat. sent16: If something visits the cow then it is rough. sent17: If the squirrel visits the cat and the cat is red then the squirrel chases the cow. sent18: All nice things are big. sent19: If something is big then it visits the squirrel. sent20: If something visits the cat and the cat visits the squirrel then the squirrel is nice.
translation.ro: $answer$ = True ; $proof$ = sent11