translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not green. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is quiet. sent4: Anne is smart. sent5: Anne is young. sent6: Charlie is smart. sent7: Erin is quiet. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is green. sent11: Fiona is smart. sent12: Fiona is young. sent13: If something is green and quiet then it is young. sent14: All quiet, green things are cold. sent15: If something is smart then it is red. sent16: If something is red and nice then it is quiet. sent17: If Charlie is quiet then Charlie is cold. sent18: If Anne is green and Anne is cold then Anne is red. sent19: All smart, quiet things are green. sent20: Red things are quiet. sent21: Young things are nice.
translation.ro: $answer$ = False ; $proof$ = sent10