Dave is furry. Dave is smart. Erin is blue. Erin is nice. Fiona is kind. Fiona is white. Gary is furry. If Gary is furry then Gary is kind. If something is kind and not blue then it is not nice.
Gary is not smart.