Label inference + proposition support
Let p be the proposition labeled unknown in clause
- clause has just been removed from fringe, and hence p is unique
If p occurs as a positive (negative) literal in clause, its label is changed to true (false)
clause and other propositions in clause are said to support p