translation.en: $answer$ ; $proof$ ; $question$ = Bob is white. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is cold. sent4: Bob is white. sent5: Dave is cold. sent6: Dave is kind. sent7: Dave is nice. sent8: Gary is cold. sent9: Gary is kind. sent10: Harry is white. sent11: All white things are blue. sent12: All big, kind things are nice. sent13: If something is nice then it is big. sent14: If something is kind then it is nice. sent15: If something is rough then it is white. sent16: If something is big and nice then it is rough. sent17: All white, blue things are cold.
translation.ro: $answer$ = True ; $proof$ = sent4