translation.en: $answer$ ; $proof$ ; $question$ = Gary is not cold. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is white. sent5: Erin is cold. sent6: Fiona is round. sent7: Gary is smart. sent8: All smart things are furry. sent9: Big, blue things are round. sent10: If Gary is cold then Gary is smart. sent11: All blue, furry things are big. sent12: If Gary is furry then Gary is blue. sent13: Round things are cold. sent14: Cold, white things are furry. sent15: Round things are blue.
translation.ro: $answer$ = False ; $proof$ = # sent13%int1 # sent9%int2 & # sent11%int3 & # sent12%int4 # sent8%int5 sent7 # sent8%int5 sent7 # sent12%int4 # sent8%int5 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.