Should T(y) be negated as well?

Why do you think so?

This statement says that there exist two formulas that are neither tautologies nor contradictions (i.e., they are contingencies) and such that their disjunction is a tautology.

P.S. Courtesy requires defining used notations. It took me a while to figure out that C(x) means that x is a contradiction and not a contingency.