translation.en: $answer$ ; $proof$ ; $question$ = Harry is nice. ; $context$ = sent1: Charlie is big. sent2: Charlie is cold. sent3: Charlie is green. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is rough. sent7: Fiona is big. sent8: Fiona is blue. sent9: Fiona is cold. sent10: Fiona is green. sent11: Fiona is kind. sent12: Fiona is nice. sent13: Gary is big. sent14: Harry is green. sent15: If Harry is kind then Harry is cold. sent16: If someone is big and cold then they are nice. sent17: Green, big people are nice. sent18: If someone is nice then they are cold. sent19: All rough people are big. sent20: All nice people are kind. sent21: All green people are kind. sent22: If Gary is blue then Gary is green. sent23: If someone is cold then they are rough.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 & sent14 # sent19%int2 # sent23%int3 # sent15%int4 # sent21%int5 sent14 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.