translation.en: $answer$ ; $proof$ ; $question$ = Harry is not big. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is green. sent4: Bob is smart. sent5: Erin is blue. sent6: Erin is furry. sent7: Erin is green. sent8: Harry is big. sent9: Harry is red. sent10: Harry is white. sent11: Smart, big people are red. sent12: If someone is smart then they are red. sent13: If someone is big then they are green. sent14: All blue, furry people are green. sent15: All white people are big. sent16: Green, smart people are blue. sent17: If someone is smart and white then they are blue. sent18: Furry people are white. sent19: If someone is smart and red then they are furry.
translation.ro: $answer$ = False ; $proof$ = sent8