translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not round. ; $context$ = sent1: Erin is rough. sent2: Erin is round. sent3: Erin is smart. sent4: Fiona is round. sent5: Gary is rough. sent6: Gary is smart. sent7: Harry is nice. sent8: If someone is smart and nice then they are green. sent9: If Erin is big and Erin is smart then Erin is blue. sent10: All round people are blue. sent11: All smart people are big. sent12: If someone is green then they are smart. sent13: All rough people are round. sent14: If someone is big then they are rough. sent15: If Harry is smart then Harry is big. sent16: Nice people are green.
translation.ro: $answer$ = False ; $proof$ = sent4