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