It also helps to think of statements from which your goal would directly follow, and work backwards. If one of those back-threads meets a forward-thread, you win. Still, I don't like a mechanical approach like that unless I'm certain I'm at a loss for an intuitive understanding of the problem.