You can have many clauses involving the same variables. Each clause adds two edges to the graph independently. The graph accumulates all constraints. SCC analysis considers all of them at once, not one at a time. If even one clause creates a contradiction through its implications, the whole formula becomes unsatisfiable. That is the power of the graph representation.
It captures all constraints simultaneously and checks them all in one SCC computation.