Hi Zenobia43 You said in paragraph 1. I look for category blocks that have a lot of X's - especially ones that have a lot of rows or columns with only two remaining openings. If you find two rows or columns that, when combined, have an X in every cell, you know that combination can never be true.
you don't mean like this do you? :
X _ X X _
X X _ _ X