translation.en: $answer$ ; $proof$ ; $question$ = The bear is not nice. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is red. sent3: The bald eagle likes the squirrel. sent4: The bald eagle sees the rabbit. sent5: The bald eagle sees the squirrel. sent6: The bear is kind. sent7: The bear is nice. sent8: The bear is red. sent9: The bear likes the squirrel. sent10: The bear visits the squirrel. sent11: The rabbit is red. sent12: The squirrel is kind. sent13: The squirrel likes the bear. sent14: The squirrel sees the bald eagle. sent15: If someone visits the bald eagle and the bald eagle sees the bear then the bear sees the rabbit. sent16: If someone is kind then they visit the rabbit. sent17: If someone sees the squirrel then they see the bald eagle. sent18: If someone likes the squirrel then the squirrel sees the bald eagle. sent19: If someone visits the rabbit then they visit the squirrel. sent20: If someone is rough then they are kind. sent21: If someone sees the bald eagle and they do not visit the bald eagle then they are rough. sent22: If someone visits the rabbit then they see the bear.
translation.ro: $answer$ = False ; $proof$ = sent7