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