Create Non-contradiction.md