translation.en: $answer$ ; $proof$ ; $question$ = The squirrel is not young. ; $context$ = sent1: The cow chases the lion. sent2: The cow chases the squirrel. sent3: The cow is round. sent4: The cow likes the dog. sent5: The dog likes the cow. sent6: The dog likes the lion. sent7: The lion chases the cow. sent8: The lion chases the squirrel. sent9: The lion is cold. sent10: The lion is green. sent11: The lion likes the dog. sent12: The squirrel is cold. sent13: The squirrel is young. sent14: The squirrel needs the lion. sent15: If the cow needs the squirrel then the cow chases the squirrel. sent16: If something chases the cow then it needs the squirrel. sent17: If something is round then it likes the squirrel. sent18: If something is big then it is green. sent19: If something is big and it chases the dog then the dog chases the cow. sent20: If something chases the lion and it likes the squirrel then the squirrel is green. sent21: If something is green then it chases the cow. sent22: If the dog is green then the dog is round. sent23: If something needs the squirrel then it likes the squirrel.
translation.ro: $answer$ = False ; $proof$ = sent13