translation.en: $answer$ ; $proof$ ; $question$ = Dave is kind. ; $context$ = sent1: Anne is furry. sent2: Anne is kind. sent3: Anne is nice. sent4: Anne is young. sent5: Bob is big. sent6: Bob is furry. sent7: Charlie is nice. sent8: Charlie is young. sent9: Dave is cold. sent10: Dave is kind. sent11: Dave is young. sent12: All cold, big people are furry. sent13: All big people are rough. sent14: All kind, big people are rough. sent15: If someone is nice and rough then they are kind. sent16: If Charlie is kind then Charlie is big. sent17: If someone is rough and kind then they are cold. sent18: Nice people are big. sent19: All rough, furry people are cold. sent20: Cold, nice people are big.
translation.ro: $answer$ = True ; $proof$ = sent10