translation.en: $answer$ ; $proof$ ; $question$ = Erin is round. ; $context$ = sent1: Charlie is big. sent2: Charlie is kind. sent3: Charlie is nice. sent4: Charlie is round. sent5: Erin is round. sent6: Fiona is cold. sent7: Fiona is kind. sent8: Fiona is round. sent9: Harry is round. sent10: Harry is smart. sent11: If something is blue then it is cold. sent12: Blue, cold things are nice. sent13: Blue things are big. sent14: All round things are blue. sent15: Smart things are blue. sent16: Round, smart things are kind. sent17: All nice, round things are smart. sent18: Nice, round things are big.
translation.ro: $answer$ = True ; $proof$ = sent5