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