translation.en: $answer$ ; $proof$ ; $question$ = Harry is white. ; $context$ = sent1: Bob is nice. sent2: Bob is round. sent3: Bob is white. sent4: Charlie is blue. sent5: Charlie is nice. sent6: Fiona is blue. sent7: Harry is white. sent8: If someone is blue then they are furry. sent9: All furry, nice people are smart. sent10: If someone is furry and white then they are nice. sent11: All white people are blue. sent12: Nice, smart people are quiet. sent13: Round people are white.
translation.ro: $answer$ = True ; $proof$ = sent7