Premise: The 2015 Red Bull Air Race of Fort Worth was the seventh round of the 2015 Red Bull Air Race World Championship season, the tenth season of the Red Bull Air Race World Championship. The event was held at the Texas Motor Speedway in Fort Worth, Texas.
Hypothesis: The 2015 Red Bull Air Race of Fort Worth was the seventh round out of 15 rounds of the 2015 Red Bull Air Race World Championship season