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