translation.en: $answer$ ; $proof$ ; $question$ = Fiona is quiet. ; $context$ = sent1: Anne is cold. sent2: Anne is quiet. sent3: Fiona is cold. sent4: Fiona is nice. sent5: Gary is cold. sent6: Gary is nice. sent7: Gary is red. sent8: Gary is rough. sent9: Gary is round. sent10: Gary is smart. sent11: Harry is rough. sent12: All round things are quiet. sent13: Cold things are quiet. sent14: Quiet, nice things are rough. sent15: All rough, quiet things are smart. sent16: Round, smart things are cold. sent17: All rough things are round. sent18: All cold things are nice.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.