Constraint propagation using Projection rule
You apply the propagation rule to a single constraint. 

The rules are defined in such a way that they can be applied efficiently. 
Otherwise, by applying the "generalized propagation rule" you could declare that a SAT instance is unsatisfiable in a single step.