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