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