translation.en: $answer$ ; $proof$ ; $question$ = Charlie is rough. ; $context$ = sent1: Anne is nice. sent2: Anne is red. sent3: Anne is rough. sent4: Anne is white. sent5: Anne is young. sent6: Charlie is rough. sent7: Charlie is white. sent8: Fiona is cold. sent9: Fiona is red. sent10: Fiona is rough. sent11: Gary is young. sent12: All rough things are round. sent13: If something is young then it is red. sent14: If something is nice and round then it is cold. sent15: Nice, white things are young. sent16: If something is rough then it is young. sent17: Rough things are young. sent18: If something is round then it is nice. sent19: All young things are white. sent20: All white things are rough.
translation.ro: $answer$ = True ; $proof$ = sent6