「仮に継続し難いとしたら「間近い」ということは成り立つ」ものはある
fact1: もし「この纏まりは継続し難いけどそれは間近くない」ということは誤りであるとしたらあの中心課題は継続し難い fact2: 仮にこの纏まりが継続し難いならばそれは煩わしいが意味深くない fact3: もし仮にこの纏まりは煩わしい一方で意味深くないならそれは間近い fact4: もしもある物が理想化しないとするとそれは間近くて代数的整数だ
void -> assump1: 以下のように仮定する。この纏まりは継続し難い; fact2 & assump1 -> int1: この纏まりは煩わしいけれど意味深くない; int1 & fact3 -> int2: 「この纏まりは間近い」ということは真実だ; [assump1] & int2 -> int3: この纏まりが継続し難いならば間近い; int3 -> hypothesis;
あの中心課題は継続し難い
fact5 -> int4: 「「その衛星は理想化しない」ということは成り立つとすればあの衛星は間近いしかつそれは代数的整数だ」ということは本当だ;
$facts$ = fact1: もし「この纏まりは継続し難いけどそれは間近くない」ということは誤りであるとしたらあの中心課題は継続し難い fact2: 仮にこの纏まりが継続し難いならばそれは煩わしいが意味深くない fact3: もし仮にこの纏まりは煩わしい一方で意味深くないならそれは間近い fact4: もしもある物が理想化しないとするとそれは間近くて代数的整数だ ; $hypothesis$ = 「仮に継続し難いとしたら「間近い」ということは成り立つ」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この纏まりは継続し難い; fact2 & assump1 -> int1: この纏まりは煩わしいけれど意味深くない; int1 & fact3 -> int2: 「この纏まりは間近い」ということは真実だ; [assump1] & int2 -> int3: この纏まりが継続し難いならば間近い; int3 -> hypothesis; __PROVED__
事実1: もし「この纏まりは継続し難いけどそれは間近くない」ということは誤りであるとしたらあの中心課題は継続し難い
事実2: 仮にこの纏まりが継続し難いならばそれは煩わしいが意味深くない
事実3: もし仮にこの纏まりは煩わしい一方で意味深くないならそれは間近い
事実4: もしもある物が理想化しないとするとそれは間近くて代数的整数だ

仮説: 「仮に継続し難いとしたら「間近い」ということは成り立つ」ものはある
1. 仮定1: 以下のように仮定する。この纏まりは継続し難い
2. 事実2と仮定1から、推論1: "この纏まりは煩わしいけれど意味深くない"が導かれる
3. 推論1と事実3から、推論2: "「この纏まりは間近い」ということは真実だ"が導かれる
4. [仮定1]と推論2から、推論3: "この纏まりが継続し難いならば間近い"が導かれる
5. 推論3から、仮説が導かれる

よって、仮説が証明されました。