Dave is blue. Dave is not furry. Dave is red. Dave is rough. Dave is smart. Dave is white. Dave is young. Fiona is red. Gary is blue. Gary is furry. Gary is not red. Gary is rough. Gary is smart. Gary is white. Gary is young. All rough things are smart. If Dave is white and Dave is not blue then Dave is not young. If Fiona is rough and Fiona is not red then Fiona is white. If something is blue and not young then it is furry. If something is not young then it is rough. If something is young then it is white. All smart things are white. If something is not white then it is smart.
Fiona is not furry.