Well, been having a quick fiddle with triggler, and I reckon (no proof of this by the way), that I can always reduce the grid to all "." but with one "X" in the corner or with one "O" inside (not touching an edge). I can't find a way to reduce it from either state. I hypothesise unsolvability.
Triggler early ideas
