For small instances, draw the implication graph on paper. Put x_i nodes on the left half, NOT x_i nodes on the right half. Draw edges in different colors for different clauses if possible. Watch how paths form between nodes.
Trace implications by hand. This builds deep intuition for why SCCs determine satisfiability. Hand-tracing small examples is the best way to understand the algorithm at a gut level.