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