translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not red. ; $context$ = sent1: Dave is furry. sent2: Dave is green. sent3: Dave is quiet. sent4: Dave is red. sent5: Fiona is blue. sent6: Fiona is furry. sent7: Fiona is green. sent8: Fiona is quiet. sent9: Fiona is red. sent10: Gary is blue. sent11: Gary is nice. sent12: Gary is quiet. sent13: Gary is red. sent14: Gary is smart. sent15: Harry is blue. sent16: Harry is smart. sent17: If something is blue and furry then it is quiet. sent18: If Dave is furry then Dave is nice. sent19: If something is furry then it is blue. sent20: Quiet things are red. sent21: All furry, green things are quiet. sent22: If something is red then it is green. sent23: All nice things are furry. sent24: All smart things are nice. sent25: Red things are quiet.
translation.ro: $answer$ = False ; $proof$ = sent9