translation.en: $answer$ ; $proof$ ; $question$ = Harry is round. ; $context$ = sent1: Anne is nice. sent2: Anne is round. sent3: Anne is young. sent4: Charlie is furry. sent5: Charlie is rough. sent6: Charlie is smart. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is rough. sent10: Erin is round. sent11: Erin is smart. sent12: Erin is young. sent13: Harry is nice. sent14: Harry is young. sent15: All nice people are young. sent16: If someone is round and big then they are furry. sent17: Big people are furry. sent18: If Charlie is round then Charlie is smart. sent19: Young, furry people are round. sent20: All nice people are big. sent21: If Anne is rough then Anne is big. sent22: Furry, rough people are smart. sent23: If someone is round and big then they are rough.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 & sent14 # sent17%int2 # sent20%int3 sent13 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.