Given a graph $G(V,E)$ whose edges are colored in two colors: red and blue. Suppose the following two conditions hold:

- for any $S\subseteq V$, there are at most $O(|S|)$ red edges in $G[S]$
- for any $S\subseteq V$, if $G[S]$ contains no red edges, then it contains $O(|S|)$ blue edges

My question is: can we conclude from this that the total number of blue edges is linear? I have no strong intuition for this, but it seems that it might be possible (some averaging/probabilistic argument?). To try to give an intuition, we can rephrase it as follows. The red graph is very sparse, even locally. The blue graph is also sparse in all regions that are free of red edges. Due to the sparseness of the red graph those 'regions' are numerous, so we hope this might imply that the blue graph is also sparse.

One can maybe consider first an easier version, if we assume that the red degree of every vertex is $O(1)$. In this case I also don't know the answer.

Note that it's already too weak if we replace the first condition with just: the total number of red edges is linear. Look at the example: a blue $K_{\sqrt n,n-\sqrt n}$ with a red $\sqrt n$-clique added in the corresponding part. This graph has $\Omega(n^{3/2})$ blue edges (example by D. Palvolgyi). We can still ask in this version whether one can do better than $n^{3/2}$.