translation.en: $answer$ ; $proof$ ; $question$ = Harry is not kind. ; $context$ = sent1: Erin is big. sent2: Erin is green. sent3: Erin is kind. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is smart. sent7: Fiona is big. sent8: Gary is rough. sent9: Harry is quiet. sent10: Harry is smart. sent11: All smart people are kind. sent12: If Harry is rough and Harry is red then Harry is quiet. sent13: If someone is green then they are smart. sent14: All kind people are quiet. sent15: If someone is rough and big then they are green. sent16: Rough people are big.
translation.ro: $answer$ = False ; $proof$ = # sent11%int1 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.