あのナゲットは内在する
fact1: もしもこのコンビニ端末は分厚くないとすると「このリモートクライアントは公布しないしまた六角でない」ということは間違っている fact2: 仮にあの血液透析がプレテストでないならばあのナゲットは内在する fact3: もしもとある物は山林経済でないとしたら「それは内在するしまた願い続ける」ということは誤りである fact4: もし仮になんらかのものが山林経済でないがしかしそれが願い続けるとするとこのコンビニ端末は分厚くない fact5: この近親相姦は山林経済でないが願い続ける fact6: もし「このリモートクライアントは公布しなくて更に六角でない」ということは事実でないならば「あの血液透析はプレテストでない」ということは成り立つ fact7: 「山林経済でない」物はある fact8: もしも「あるものが内在するしその上それは願い続ける」ということは成り立たないとすると内在しない
fact5 -> int1: なにがしかの物は山林経済でないが願い続ける; int1 & fact4 -> int2: このコンビニ端末は分厚くない; int2 & fact1 -> int3: 「このリモートクライアントは公布しないし加えて六角でない」ということは成り立たない; int3 & fact6 -> int4: あの血液透析はプレテストでない; int4 & fact2 -> hypothesis;
あのナゲットは内在しない
fact9 -> int5: 仮に「あのナゲットは内在するし更にそれは願い続ける」ということは偽であるとすると「内在しない」ということは真実である; fact10 -> int6: もしもこのコンビニ端末は山林経済でないならば「それは内在するしかつ願い続ける」ということは誤っている;
$facts$ = fact1: もしもこのコンビニ端末は分厚くないとすると「このリモートクライアントは公布しないしまた六角でない」ということは間違っている fact2: 仮にあの血液透析がプレテストでないならばあのナゲットは内在する fact3: もしもとある物は山林経済でないとしたら「それは内在するしまた願い続ける」ということは誤りである fact4: もし仮になんらかのものが山林経済でないがしかしそれが願い続けるとするとこのコンビニ端末は分厚くない fact5: この近親相姦は山林経済でないが願い続ける fact6: もし「このリモートクライアントは公布しなくて更に六角でない」ということは事実でないならば「あの血液透析はプレテストでない」ということは成り立つ fact7: 「山林経済でない」物はある fact8: もしも「あるものが内在するしその上それは願い続ける」ということは成り立たないとすると内在しない ; $hypothesis$ = あのナゲットは内在する ; $proof$ = 
fact5 -> int1: なにがしかの物は山林経済でないが願い続ける; int1 & fact4 -> int2: このコンビニ端末は分厚くない; int2 & fact1 -> int3: 「このリモートクライアントは公布しないし加えて六角でない」ということは成り立たない; int3 & fact6 -> int4: あの血液透析はプレテストでない; int4 & fact2 -> hypothesis; __PROVED__
事実1: もしもこのコンビニ端末は分厚くないとすると「このリモートクライアントは公布しないしまた六角でない」ということは間違っている
事実2: 仮にあの血液透析がプレテストでないならばあのナゲットは内在する
事実3: もしもとある物は山林経済でないとしたら「それは内在するしまた願い続ける」ということは誤りである
事実4: もし仮になんらかのものが山林経済でないがしかしそれが願い続けるとするとこのコンビニ端末は分厚くない
事実5: この近親相姦は山林経済でないが願い続ける
事実6: もし「このリモートクライアントは公布しなくて更に六角でない」ということは事実でないならば「あの血液透析はプレテストでない」ということは成り立つ
事実7: 「山林経済でない」物はある
事実8: もしも「あるものが内在するしその上それは願い続ける」ということは成り立たないとすると内在しない

仮説: あのナゲットは内在する
1. 事実5から、推論1: "なにがしかの物は山林経済でないが願い続ける"が導かれる
2. 推論1と事実4から、推論2: "このコンビニ端末は分厚くない"が導かれる
3. 推論2と事実1から、推論3: "「このリモートクライアントは公布しないし加えて六角でない」ということは成り立たない"が導かれる
4. 推論3と事実6から、推論4: "あの血液透析はプレテストでない"が導かれる
5. 推論4と事実2から、仮説が導かれる

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