translation.en: $answer$ ; $proof$ ; $question$ = Erin is not kind. ; $context$ = sent1: Dave is kind. sent2: Dave is round. sent3: Erin is furry. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is big. sent7: Harry is round. sent8: All big, cold things are blue. sent9: Kind things are big. sent10: Kind, furry things are big. sent11: All nice, big things are cold. sent12: All blue, round things are cold. sent13: All round things are nice. sent14: Big things are nice. sent15: All big, furry things are kind. sent16: Nice things are kind.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.