translation.en: $answer$ ; $proof$ ; $question$ = Harry is round. ; $context$ = sent1: Anne is kind. sent2: Anne is round. sent3: Erin is big. sent4: Erin is rough. sent5: Fiona is big. sent6: Fiona is furry. sent7: Harry is cold. sent8: Cold, furry people are kind. sent9: If someone is furry then they are cold. sent10: Big people are round. sent11: Big, rough people are furry. sent12: All rough people are round. sent13: If someone is round then they are rough. sent14: All cold people are big. sent15: If someone is furry then they are rough.
translation.ro: $answer$ = True ; $proof$ = # sent10%int1 # sent14%int2 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.