translation.en: $answer$ ; $proof$ ; $question$ = Bob is white. ; $context$ = sent1: Bob is green. sent2: Bob is white. sent3: Charlie is blue. sent4: Charlie is quiet. sent5: Dave is white. sent6: Fiona is blue. sent7: Fiona is furry. sent8: All blue things are quiet. sent9: If something is green and furry then it is quiet. sent10: All white things are rough. sent11: Quiet things are rough. sent12: If Dave is rough then Dave is furry. sent13: If something is quiet then it is green. sent14: If something is furry then it is blue. sent15: All white, cold things are furry. sent16: If something is furry and cold then it is white.
translation.ro: $answer$ = True ; $proof$ = sent2