I'm pessimistic. My intuition says that the problem is no easier than the
3n+1 conjecture to which davar55 refers and therefore - unless someone can find a second cycle by searching - it will not be solvable with currently known techniques. Even if a second cycle is found and maybe others too, we still won't be able to prove that all numbers reduce to one of these cycles.