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