Not necessarily. There are many different types of tornadoes, and they can form under different sky conditions. Some tornadoes may form under a clear blue sky, while others may form under a gray, overcast sky. In general, the most violent tornadoes are associated with dark, rotating clouds called supercells. However, not all supercells produce tornadoes, and not all tornadoes form from supercells.