Triangle-independent sets vs. cuts

A set of edges $T$ in a graph $G$ is triangle-independent if $T$ contains at most one edge from each triangle in $G$. Let $\alpha_1(G)$ denote the maximum size of the triangle-independent set in $G$, and let $\tau_B(G)$ denote minimum size of a set $F \subseteq E(G)$ such that $G \setminus F$ is bipartite. We prove that $$\alpha_1(G) + \tau_B(G) \leq \frac{|V(G)|^2}{4},$$ verifying a conjecture due to Lehel, and independently Puleo, and a slightly weaker conjecture of Erd\H{o}s, Gallai and Tuza. Further, we characterize the graphs which attain the equality.