translation.en: $answer$ ; $proof$ ; $question$ = Erin is smart. ; $context$ = sent1: Charlie is smart. sent2: Dave is cold. sent3: Erin is cold. sent4: Erin is kind. sent5: Erin is rough. sent6: Harry is big. sent7: Harry is kind. sent8: Harry is nice. sent9: Harry is rough. sent10: Harry is young. sent11: Cold, big people are nice. sent12: Nice, young people are kind. sent13: All rough, big people are smart. sent14: Rough, nice people are young. sent15: All rough people are big. sent16: Cold people are rough. sent17: Big people are smart. sent18: All young people are kind.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 # sent15%int2 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.