translation.en: $answer$ ; $proof$ ; $question$ = Dave is kind. ; $context$ = sent1: Bob is green. sent2: Bob is rough. sent3: Charlie is furry. sent4: Charlie is smart. sent5: Dave is rough. sent6: Harry is kind. sent7: Harry is rough. sent8: All rough people are smart. sent9: If someone is blue and white then they are furry. sent10: If someone is rough and blue then they are white. sent11: All kind people are white. sent12: Green, smart people are white. sent13: All kind, smart people are blue. sent14: If Bob is kind then Bob is rough. sent15: If someone is smart then they are green. sent16: All white people are kind.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 # sent12%int2 & # sent15%int3 # sent8%int4 sent5 # sent8%int4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.