Dave is rough. Fiona is smart. Gary is smart. All nice, blue things are furry. If Dave is white and Dave is smart then Dave is nice. If something is not round then it is blue. All smart, nice things are not blue. Blue things are white. If Gary is rough and Gary is furry then Gary is blue. If something is not white then it is nice. If Gary is not white then Gary is not smart.
Fiona is not rough.