translation.en: $answer$ ; $proof$ ; $question$ = Gary is not cold. ; $context$ = sent1: Anne is cold. sent2: Anne is nice. sent3: Anne is rough. sent4: Anne is young. sent5: Erin is furry. sent6: Fiona is furry. sent7: Fiona is rough. sent8: Gary is furry. sent9: Gary is round. sent10: Gary is young. sent11: If Anne is round and Anne is not furry then Anne is young. sent12: All young, furry people are blue. sent13: All rough people are cold. sent14: Cold people are young. sent15: All furry people are nice. sent16: If someone is nice then they are rough.
translation.ro: $answer$ = False ; $proof$ = # sent13%int1 # sent16%int2 # sent15%int3 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.