translation.en: $answer$ ; $proof$ ; $question$ = Erin is not blue. ; $context$ = sent1: Charlie is kind. sent2: Charlie is nice. sent3: Dave is blue. sent4: Dave is nice. sent5: Dave is white. sent6: Erin is kind. sent7: Fiona is kind. sent8: If something is kind then it is cold. sent9: If something is blue and smart then it is nice. sent10: All kind, blue things are smart. sent11: If something is white and kind then it is smart. sent12: Round, kind things are nice. sent13: Kind, smart things are white. sent14: White, kind things are blue. sent15: Kind, cold things are smart.
translation.ro: $answer$ = False ; $proof$ = # sent14%int1 & # sent13%int2 & sent6 # sent15%int3 & sent6 # sent8%int4 sent6 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.