「もしもその預け入れ金利がコーンフレークスならばその金星は尤もらしい」ということは確かである
fact1: 「このコサインＴは進出出来るしイオン分極である」ということは間違いだ fact2: その預け入れ金利は進出出来るなら「このコサインＴは進出出来ないけどそれはイオン分極だ」ということは成り立たない fact3: もしもその預け入れ金利は進出出来るなら「「このコサインＴは進出出来るしイオン分極である」ということは成り立たない」ということは成り立つ fact4: 仮に「このコサインＴは進出出来ないけどイオン分極だ」ということは誤りであるとすればその金星は尤もらしい fact5: もし仮にその預け入れ金利がコーンフレークスだとすれば進出出来る
void -> assump1: 以下のように仮定する。その預け入れ金利はコーンフレークスである; fact5 & assump1 -> int1: 「その預け入れ金利は進出出来る」ということは誤りでない; int1 & fact2 -> int2: 「「このコサインＴは進出出来ないけどイオン分極だ」ということは成り立たない」ということは成り立つ; int2 & fact4 -> int3: 「その金星は尤もらしい」ということは本当だ; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「このコサインＴは進出出来るしイオン分極である」ということは間違いだ fact2: その預け入れ金利は進出出来るなら「このコサインＴは進出出来ないけどそれはイオン分極だ」ということは成り立たない fact3: もしもその預け入れ金利は進出出来るなら「「このコサインＴは進出出来るしイオン分極である」ということは成り立たない」ということは成り立つ fact4: 仮に「このコサインＴは進出出来ないけどイオン分極だ」ということは誤りであるとすればその金星は尤もらしい fact5: もし仮にその預け入れ金利がコーンフレークスだとすれば進出出来る ; $hypothesis$ = 「もしもその預け入れ金利がコーンフレークスならばその金星は尤もらしい」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。その預け入れ金利はコーンフレークスである; fact5 & assump1 -> int1: 「その預け入れ金利は進出出来る」ということは誤りでない; int1 & fact2 -> int2: 「「このコサインＴは進出出来ないけどイオン分極だ」ということは成り立たない」ということは成り立つ; int2 & fact4 -> int3: 「その金星は尤もらしい」ということは本当だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「このコサインＴは進出出来るしイオン分極である」ということは間違いだ
事実2: その預け入れ金利は進出出来るなら「このコサインＴは進出出来ないけどそれはイオン分極だ」ということは成り立たない
事実3: もしもその預け入れ金利は進出出来るなら「「このコサインＴは進出出来るしイオン分極である」ということは成り立たない」ということは成り立つ
事実4: 仮に「このコサインＴは進出出来ないけどイオン分極だ」ということは誤りであるとすればその金星は尤もらしい
事実5: もし仮にその預け入れ金利がコーンフレークスだとすれば進出出来る

仮説: 「もしもその預け入れ金利がコーンフレークスならばその金星は尤もらしい」ということは確かである
1. 仮定1: 以下のように仮定する。その預け入れ金利はコーンフレークスである
2. 事実5と仮定1から、推論1: "「その預け入れ金利は進出出来る」ということは誤りでない"が導かれる
3. 推論1と事実2から、推論2: "「「このコサインＴは進出出来ないけどイオン分極だ」ということは成り立たない」ということは成り立つ"が導かれる
4. 推論2と事実4から、推論3: "「その金星は尤もらしい」ということは本当だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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