translation.en: $answer$ ; $proof$ ; $question$ = Anne is not kind. ; $context$ = sent1: Anne is furry. sent2: Charlie is round. sent3: Charlie is smart. sent4: Charlie is white. sent5: Charlie is young. sent6: Erin is kind. sent7: Erin is nice. sent8: Erin is round. sent9: Erin is smart. sent10: Erin is white. sent11: Erin is young. sent12: Harry is furry. sent13: Harry is nice. sent14: Harry is round. sent15: Harry is smart. sent16: Harry is young. sent17: All round people are nice. sent18: Nice, furry people are kind. sent19: All kind, white people are round. sent20: All white, furry people are kind. sent21: If someone is round and white then they are kind. sent22: Nice people are smart. sent23: If Anne is nice and Anne is round then Anne is kind. sent24: If someone is furry then they are white.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 & # sent24%int2 sent1 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.