translation.en: $answer$ ; $proof$ ; $question$ = Fiona is quiet. ; $context$ = sent1: Bob is big. sent2: Charlie is rough. sent3: Charlie is round. sent4: Charlie is smart. sent5: Erin is rough. sent6: Erin is smart. sent7: Fiona is quiet. sent8: Big things are smart. sent9: If something is quiet then it is big. sent10: All cold things are big. sent11: All white, rough things are round. sent12: All smart, big things are round. sent13: Cold things are white. sent14: All round, quiet things are cold.
translation.ro: $answer$ = True ; $proof$ = sent7