translation.en: $answer$ ; $proof$ ; $question$ = Harry is not big. ; $context$ = sent1: Anne is cold. sent2: Anne is kind. sent3: Anne is young. sent4: Bob is kind. sent5: Charlie is round. sent6: Charlie is young. sent7: Harry is big. sent8: Harry is cold. sent9: Harry is kind. sent10: Harry is round. sent11: Harry is smart. sent12: Harry is young. sent13: If someone is smart and round then they are kind. sent14: If Charlie is cold then Charlie is big. sent15: Smart, young people are kind. sent16: All big people are kind. sent17: Kind, green people are cold. sent18: Young people are green. sent19: If someone is young and green then they are smart. sent20: If someone is smart then they are green.
translation.ro: $answer$ = False ; $proof$ = sent7