Solving a special case of the P conjecture using dependency graphs with dissolution