translation.en: $answer$ ; $proof$ ; $question$ = Dave is nice. ; $context$ = sent1: Anne is blue. sent2: Anne is furry. sent3: Anne is rough. sent4: Anne is round. sent5: Bob is rough. sent6: Dave is big. sent7: Dave is blue. sent8: Dave is furry. sent9: Dave is green. sent10: Dave is rough. sent11: Dave is round. sent12: Gary is blue. sent13: Gary is green. sent14: Gary is nice. sent15: If someone is furry and blue then they are nice. sent16: If Bob is not green then Bob is big. sent17: All big people are furry. sent18: All big people are furry. sent19: Big people are furry. sent20: If someone is nice and furry then they are round. sent21: If someone is blue then they are big. sent22: Big, furry people are blue.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.