Let $G$ be a finite simple graph on the vertex set $\{x_1, \ldots, x_n\}$ and $I(G) := (\{x_ix_j \mid \{i,j\} \in E(G)\}) \subset R=K[x_1, \ldots, x_n]$ be the edge ideal corresponding to the graph $G$, where $K$ is a field. The Castelnuovo–Mumford regularity (or simply, regularity) $reg(I(G))$ of $I(G)$ is defined as $$reg(I(G))=\max\{j-i \mid Tor^R_i(I(G),K) \neq 0\}$$

(I) no independent set in $G\setminus N_G[x]$ is a maximal independent set in $G \setminus x$.

A vertex $x$ which satisfies Condition (I) is called a shedding vertex.

Suppose $x$ is a shedding vertex. Is $reg(I(G \setminus N_G[x]))+1 \leq reg(I(G))$?