translation.en: $answer$ ; $proof$ ; $question$ = Fiona is not furry. ; $context$ = sent1: Dave is furry. sent2: Fiona is furry. sent3: Fiona is white. sent4: Gary is quiet. sent5: Gary is red. sent6: Harry is blue. sent7: Harry is furry. sent8: Harry is quiet. sent9: Harry is red. sent10: Harry is white. sent11: Harry is young. sent12: If Fiona is white then Fiona is big. sent13: All furry, big people are red. sent14: If someone is white then they are big. sent15: If someone is furry then they are white. sent16: If someone is blue and young then they are white. sent17: White people are young. sent18: If someone is big and blue then they are quiet. sent19: Furry people are young. sent20: Red people are blue.
translation.ro: $answer$ = False ; $proof$ = sent2