translation.en: $answer$ ; $proof$ ; $question$ = Bob is white. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is furry. sent4: Bob is kind. sent5: Bob is white. sent6: Charlie is blue. sent7: Charlie is cold. sent8: Charlie is furry. sent9: Charlie is kind. sent10: Charlie is white. sent11: Charlie is young. sent12: Dave is blue. sent13: Dave is furry. sent14: Dave is kind. sent15: Dave is red. sent16: Harry is young. sent17: Cold, furry things are blue. sent18: If something is white then it is furry. sent19: If something is cold then it is furry. sent20: If something is red and white then it is furry. sent21: If something is furry then it is kind. sent22: If Harry is cold and Harry is kind then Harry is white. sent23: All young things are red. sent24: If something is young and red then it is cold.
translation.ro: $answer$ = True ; $proof$ = sent5