Does assigning missing literals after unit propagation keep a Boolean formula satisfiable?
If "independent" means "not inferred by unit propagation", then the answer is "no". Eg. 
$$ 
\lnot a \lor b, x\lor \lnot b,\lnot x\lor \lnot b
$$.