Planar graphs without triangles adjacent to cycles of length from $3$ to $9$ are $3$-colorable

Planar graphs without triangles adjacent to cycles of length from $3$ to $9$ are proved to be $3$-colorable, which extends Grötzsch's theorem. We conjecture that planar graphs without $3$-cycles adjacent to cycles of length $3$ or $5$ are $3$-colorable.