Hard mode minesweeper is kinda brutal. I've done the multiple kinds of cross-referencing deduction. I've done the guess-and-check propagating several tiles over to see if a possibility is invalid. I've even done the guess-and-check and compare all guesses to see if a tile is always clear/mine for all possible guesses.

Shit's just walled.