translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not cold. ; $context$ = sent1: Charlie is nice. sent2: Charlie is rough. sent3: Charlie is smart. sent4: Charlie is young. sent5: Fiona is cold. sent6: Fiona is kind. sent7: Fiona is rough. sent8: Gary is cold. sent9: Gary is young. sent10: Harry is nice. sent11: If something is young then it is smart. sent12: If something is cold and round then it is kind. sent13: If Gary is kind and Gary is cold then Gary is rough. sent14: If Harry is round then Harry is smart. sent15: If Fiona is round and Fiona is kind then Fiona is young. sent16: If Charlie is cold then Charlie is round. sent17: All smart, young things are nice. sent18: If something is nice and smart then it is round.
translation.ro: $answer$ = False ; $proof$ = sent5