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