translation.en: $answer$ ; $proof$ ; $question$ = Charlie is not kind. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is kind. sent4: Anne is round. sent5: Charlie is green. sent6: Gary is kind. sent7: Harry is round. sent8: All blue things are rough. sent9: All white things are kind. sent10: If something is green and kind then it is round. sent11: If Anne is rough then Anne is big. sent12: All big things are blue. sent13: If something is green then it is blue. sent14: Blue things are big. sent15: If Anne is big and Anne is green then Anne is kind. sent16: Rough things are white.
translation.ro: $answer$ = False ; $proof$ = # sent9%int1 # sent16%int2 # sent8%int3 # sent13%int4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.