translation.en: $answer$ ; $proof$ ; $question$ = Harry is not white. ; $context$ = sent1: Anne is big. sent2: Anne is white. sent3: Bob is big. sent4: Bob is kind. sent5: Bob is red. sent6: Bob is white. sent7: Erin is green. sent8: Erin is quiet. sent9: Erin is red. sent10: Erin is white. sent11: Harry is big. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is white. sent15: If something is quiet then it is kind. sent16: All green, red things are rough. sent17: All quiet, green things are big. sent18: White things are quiet. sent19: If Bob is red then Bob is rough. sent20: Kind things are red. sent21: Red, quiet things are green. sent22: If Erin is rough and Erin is not quiet then Erin is big.
translation.ro: $answer$ = False ; $proof$ = sent14