translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not cold. ; $context$ = sent1: Charlie is cold. sent2: Charlie is quiet. sent3: Charlie is young. sent4: Erin is cold. sent5: Erin is green. sent6: Erin is kind. sent7: Erin is round. sent8: Erin is young. sent9: Fiona is big. sent10: Fiona is round. sent11: Harry is green. sent12: Harry is kind. sent13: All cold, kind people are quiet. sent14: All quiet, big people are young. sent15: Green people are young. sent16: If Erin is young then Erin is cold. sent17: If someone is cold then they are big. sent18: All kind, round people are green. sent19: All big people are kind. sent20: Young people are cold.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 # sent15%int2 # sent18%int3 & # sent19%int4 sent9 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.