Added a class called ContradictionIsolatedBlack for the isolated black contradiction rule. The implementation that is in it right now is from ContradictionBlackArea, which is not correct, evantually ContradictionBlackArea should be deleted and totally replaced by Isolated Black