translation.en: $answer$ ; $proof$ ; $question$ = Bob is not white. ; $context$ = sent1: Anne is cold. sent2: Anne is nice. sent3: Bob is quiet. sent4: Bob is white. sent5: Gary is quiet. sent6: Harry is big. sent7: Harry is green. sent8: Harry is nice. sent9: Harry is quiet. sent10: Harry is white. sent11: If someone is white and nice then they are big. sent12: All quiet, cold people are nice. sent13: All round people are green. sent14: Quiet, round people are green. sent15: If someone is nice then they are round. sent16: All green, quiet people are cold. sent17: Quiet people are round. sent18: Quiet, nice people are white.
translation.ro: $answer$ = False ; $proof$ = sent4