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