Implemented the Isolated Black Contradiction rule. This should fully work now. I only tested this briefly but I have not found any bugs so far.