translation.en: $answer$ ; $proof$ ; $question$ = The bear chases the rabbit. ; $context$ = sent1: The bear chases the rabbit. sent2: The bear chases the squirrel. sent3: The cow eats the bear. sent4: The cow likes the bear. sent5: The rabbit chases the bear. sent6: The rabbit chases the cow. sent7: The rabbit eats the squirrel. sent8: The rabbit likes the cow. sent9: The squirrel chases the bear. sent10: The squirrel is kind. sent11: The squirrel likes the cow. sent12: The squirrel likes the rabbit. sent13: If something likes the bear and the bear chases the rabbit then it is young. sent14: If something is young then it likes the squirrel. sent15: If something likes the bear then it chases the rabbit. sent16: If the squirrel is kind then the squirrel eats the cow. sent17: If something likes the squirrel and the squirrel is not big then the squirrel eats the rabbit. sent18: If something eats the rabbit and the rabbit does not eat the cow then the rabbit likes the squirrel. sent19: If something likes the squirrel then it eats the bear. sent20: If something eats the bear and the bear eats the cow then it likes the bear. sent21: If the rabbit likes the squirrel and the rabbit is not young then the squirrel chases the cow.
translation.ro: $answer$ = True ; $proof$ = sent1