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