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