translation.en: $answer$ ; $proof$ ; $question$ = Charlie is kind. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is round. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is kind. sent7: Charlie is nice. sent8: Charlie is round. sent9: Erin is big. sent10: Gary is furry. sent11: Gary is kind. sent12: Gary is nice. sent13: Gary is quiet. sent14: Gary is round. sent15: Big things are quiet. sent16: If something is quiet and big then it is kind. sent17: If something is cold then it is round. sent18: Nice things are cold. sent19: All cold things are kind. sent20: If something is kind then it is nice. sent21: If something is nice and furry then it is quiet. sent22: All kind things are nice.
translation.ro: $answer$ = True ; $proof$ = sent6