It doesn't lead to a contradiction, the contradiction was already there. If you have a contradiction on your system you can prove everything:

1- Assume ¬X

2- Point out the contradiction

3- Therefore X is true