translation.en: $answer$ ; $proof$ ; $question$ = Charlie is not big. ; $context$ = sent1: Charlie is big. sent2: Charlie is rough. sent3: Charlie is smart. sent4: Charlie is young. sent5: Erin is kind. sent6: Erin is quiet. sent7: Erin is rough. sent8: Erin is young. sent9: Fiona is smart. sent10: Gary is big. sent11: Gary is kind. sent12: Gary is smart. sent13: If something is smart then it is kind. sent14: If something is kind then it is quiet. sent15: All nice, big things are quiet. sent16: Kind, quiet things are nice. sent17: Big things are smart. sent18: Nice, young things are big. sent19: If something is smart and young then it is big. sent20: If something is nice and quiet then it is big. sent21: All kind, big things are young.
translation.ro: $answer$ = False ; $proof$ = sent1