通常のコラッツ予想3x+1ですが、

①プログラムが無限走行→オールNothing出る
(Cを繰り返すと集合が1つになる事が使えないか)

②オールNothing出ない→プログラムは停止

③全てのnでオールNothing出ない(難しい?)

④全てのnでプログラムは停止する

というのを考えたのですが、
実際証明するとなると難しいですかね。