translation.en: $answer$ ; $proof$ ; $question$ = Anne is round. ; $context$ = sent1: Anne is white. sent2: Charlie is nice. sent3: Charlie is round. sent4: Fiona is big. sent5: Fiona is young. sent6: Harry is big. sent7: Harry is nice. sent8: If something is round and white then it is rough. sent9: All blue things are young. sent10: If something is blue and young then it is big. sent11: All rough things are big. sent12: All white things are round. sent13: All blue, young things are white. sent14: Rough, nice things are blue. sent15: All young, round things are blue. sent16: All rough things are nice.
translation.ro: $answer$ = True ; $proof$ = # sent12%int1 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.