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