translation.en: $answer$ ; $proof$ ; $question$ = Harry is white. ; $context$ = sent1: Anne is big. sent2: Anne is kind. sent3: Anne is quiet. sent4: Anne is rough. sent5: Anne is white. sent6: Fiona is big. sent7: Gary is big. sent8: Gary is cold. sent9: Gary is kind. sent10: Harry is kind. sent11: If something is kind then it is big. sent12: If something is white and kind then it is rough. sent13: If Harry is quiet and Harry is cold then Harry is big. sent14: If something is quiet then it is big. sent15: If something is cold and rough then it is quiet. sent16: All kind things are young. sent17: If Harry is kind and Harry is cold then Harry is white. sent18: If something is young and kind then it is cold.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 & sent10 # sent18%int2 & # sent16%int3 sent10 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.