translation.en: $answer$ ; $proof$ ; $question$ = Charlie is not kind. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 & sent4 # sent8%int2 & # sent11%int4 sent4 # sent16%int3 # sent11%int4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.