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