Enter two things you believe simultaneously. This tool finds exactly where they collide. It will not resolve them.
This is your contradiction. It may not need solving. // Collision detected