translation.en: $answer$ ; $proof$ ; $question$ = Dave is nice. ; $context$ = sent1: Anne is furry. sent2: Anne is young. sent3: Charlie is blue. sent4: Charlie is nice. sent5: Charlie is young. sent6: Dave is furry. sent7: Dave is round. sent8: Harry is furry. sent9: Harry is kind. sent10: Harry is round. sent11: All young, nice people are round. sent12: If someone is green then they are kind. sent13: If someone is young and blue then they are green. sent14: Furry people are kind. sent15: All kind people are young. sent16: Young people are nice. sent17: All nice, round people are blue. sent18: If Charlie is kind then Charlie is furry. sent19: If someone is nice then they are furry.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 # sent15%int2 # sent14%int3 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.