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