Instructions with the ceiling fan say, for dual switch wiring, to wire it thusly:
1. Fan green wire to ceiling bare wire.
2. Fan white wire to ceiling white wire.
3. Fan black wire to ceiling black wire.
4. Fan black wire with stripe to ceiling "wire for the wall switch" (red is all that's left).
Wiring it that way, neither lights nor fan works.
A complicating factor is that there is another three wires coming from the ceiling (bare, black, and white) which are coming from I have no idea where. The bare and the black from these three are connected to the bare and the black from the four ceiling wires mentioned above. The white was attached to some wire in the previous ceiling fan which I took down. In the current way I have it wired, this mystery white wire is not attached to anything, and I left the black and bare attached as they were.