>>332
こういうのはどうだ?

全ての実数について
(無限小数ならば、ほぼ確実に無理数である) ならば、
(無理数でなければ、ほぼ確実に無限小数ではない)