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