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