translation.en: $answer$ ; $proof$ ; $question$ = Harry is kind. ; $context$ = sent1: Anne is green. sent2: Anne is kind. sent3: Anne is quiet. sent4: Anne is round. sent5: Dave is nice. sent6: Fiona is kind. sent7: Fiona is quiet. sent8: Fiona is round. sent9: Fiona is young. sent10: Harry is green. sent11: Harry is nice. sent12: Harry is quiet. sent13: If someone is green and round then they are nice. sent14: All round people are red. sent15: Young people are round. sent16: If Anne is quiet then Anne is red. sent17: All nice people are kind. sent18: Nice people are kind. sent19: All quiet, green people are young. sent20: If someone is nice then they are green. sent21: All green people are quiet.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.