translation.en: $answer$ ; $proof$ ; $question$ = Harry is not kind. ; $context$ = sent1: Bob is furry. sent2: Bob is rough. sent3: Bob is young. sent4: Dave is furry. sent5: Dave is young. sent6: Fiona is cold. sent7: Fiona is kind. sent8: Fiona is rough. sent9: Fiona is white. sent10: Harry is kind. sent11: Harry is rough. sent12: If someone is kind then they are rough. sent13: All round people are cold. sent14: If someone is kind then they are furry. sent15: If someone is cold and rough then they are young. sent16: If someone is white and kind then they are round. sent17: Furry people are cold. sent18: If Bob is round and Bob is rough then Bob is kind. sent19: If someone is young then they are white. sent20: If someone is young then they are kind.
translation.ro: $answer$ = False ; $proof$ = sent10