translation.en: $answer$ ; $proof$ ; $question$ = Erin is quiet. ; $context$ = sent1: Anne is red. sent2: Anne is round. sent3: Erin is quiet. sent4: Erin is round. sent5: Fiona is red. sent6: Harry is rough. sent7: Harry is smart. sent8: All rough things are white. sent9: If Fiona is smart and Fiona is round then Fiona is white. sent10: If something is young then it is smart. sent11: Red, white things are young. sent12: Red things are quiet. sent13: Young things are red. sent14: If something is quiet then it is rough. sent15: All round, white things are young.
translation.ro: $answer$ = True ; $proof$ = sent3