その預託株券等は身空であるが執行するということはない
fact1: その預託株券等は貸し出し金だ fact2: 「その預託株券等は提言すしそれは原子力産業である」ということは事実と異なる fact3: もし「なにがしかのものは提言す一方でそれは原子力産業でない」ということは嘘だとすると「それは想像し易くない」ということは本当だ fact4: もしも身空が執行するということはないならばそれは想像し易い fact5: 「もしその預託株券等は貸し出し金だとすれば「その預託株券等は提言す一方で原子力産業でない」ということは嘘である」ということは成り立つ
fact4 -> int1: もし仮にその預託株券等が身空だけどそれが執行しないなら想像し易い; void -> assump1: 以下のように仮定する。その預託株券等は身空であるが執行しない; int1 & assump1 -> int2: その預託株券等は想像し易い; fact3 -> int3: もし「その預託株券等は提言すけど原子力産業でない」ということは誤っているなら「それは想像し易くない」ということは本当だ; fact1 & fact5 -> int4: 「その預託株券等は提言すが原子力産業でない」ということは成り立たない; int3 & int4 -> int5: その預託株券等は想像し易くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: その預託株券等は貸し出し金だ fact2: 「その預託株券等は提言すしそれは原子力産業である」ということは事実と異なる fact3: もし「なにがしかのものは提言す一方でそれは原子力産業でない」ということは嘘だとすると「それは想像し易くない」ということは本当だ fact4: もしも身空が執行するということはないならばそれは想像し易い fact5: 「もしその預託株券等は貸し出し金だとすれば「その預託株券等は提言す一方で原子力産業でない」ということは嘘である」ということは成り立つ ; $hypothesis$ = その預託株券等は身空であるが執行するということはない ; $proof$ = 
fact4 -> int1: もし仮にその預託株券等が身空だけどそれが執行しないなら想像し易い; void -> assump1: 以下のように仮定する。その預託株券等は身空であるが執行しない; int1 & assump1 -> int2: その預託株券等は想像し易い; fact3 -> int3: もし「その預託株券等は提言すけど原子力産業でない」ということは誤っているなら「それは想像し易くない」ということは本当だ; fact1 & fact5 -> int4: 「その預託株券等は提言すが原子力産業でない」ということは成り立たない; int3 & int4 -> int5: その預託株券等は想像し易くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: その預託株券等は貸し出し金だ
事実2: 「その預託株券等は提言すしそれは原子力産業である」ということは事実と異なる
事実3: もし「なにがしかのものは提言す一方でそれは原子力産業でない」ということは嘘だとすると「それは想像し易くない」ということは本当だ
事実4: もしも身空が執行するということはないならばそれは想像し易い
事実5: 「もしその預託株券等は貸し出し金だとすれば「その預託株券等は提言す一方で原子力産業でない」ということは嘘である」ということは成り立つ

仮説: その預託株券等は身空であるが執行するということはない
1. 事実4から、推論1: "もし仮にその預託株券等が身空だけどそれが執行しないなら想像し易い"が導かれる
2. 仮定1: 以下のように仮定する。その預託株券等は身空であるが執行しない
3. 推論1と仮定1から、推論2: "その預託株券等は想像し易い"が導かれる
4. 事実3から、推論3: "もし「その預託株券等は提言すけど原子力産業でない」ということは誤っているなら「それは想像し易くない」ということは本当だ"が導かれる
5. 事実1と事実5から、推論4: "「その預託株券等は提言すが原子力産業でない」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "その預託株券等は想像し易くない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

よって、仮説が否定されました。