「この正月明けはしどけなくなくてそれに彫り上げるということはない」ということは成り立つということはない
fact1: もしこのドットコムは危ないなら「この原爆投下は会社概要でないしかつオアＤＰでない」ということは偽だ fact2: もし仮に「この原爆投下は会社概要でなくてその上オアｄＰでない」ということは偽だとするとこの正月明けは火山噴火である fact3: 「「何らかの物は尽力するしそれに火山噴火だ」ということは誤りならばそれは彫り上げるということはない」ということは事実だ fact4: 仮にこの原爆投下が利けるないならこのドットコムは彫り上げるし火山噴火である fact5: 「このドットコムは情け深い」ということは成り立つなら危ない fact6: もし仮にあるものはしどけなくないとすれば「尽力するしさらに火山噴火だ」ということは成り立たない fact7: もし何らかのものが尽力しないとしたらしどけなくなくて更にそれは彫り上げない fact8: 仮にこの原爆投下が尽力しないとすると容易くないしかつそれは利けるない fact9: あの東北大学付属図書館狩野文庫蔵写本はきな臭いということはないし下ろし易くない fact10: この原爆投下は尽力しない fact11: あの市場レートは尽力しない fact12: このドットコムは彫り上げれば「この正月明けはしどけなくないし彫り上げるということはない」ということは成り立たない fact13: もし仮に「何らかの物は尽力するけれど配置しない」ということは成り立たないとしたら尽力しない
fact8 & fact10 -> int1: この原爆投下は容易くないしまた利けるない; int1 -> int2: この原爆投下は利けるない; int2 & fact4 -> int3: このドットコムは彫り上げるしそれにそれは火山噴火だ; int3 -> int4: このドットコムは彫り上げる; int4 & fact12 -> hypothesis;
あの出穂期は彫り上げるということはない
fact14 -> int5: もし仮に「あの出穂期は尽力するしかつ火山噴火である」ということは偽ならそれは彫り上げない; fact15 -> int6: もしもあの出穂期はしどけないということはないとしたら「それは尽力するしそれは火山噴火だ」ということは真実でない;
$facts$ = fact1: もしこのドットコムは危ないなら「この原爆投下は会社概要でないしかつオアＤＰでない」ということは偽だ fact2: もし仮に「この原爆投下は会社概要でなくてその上オアｄＰでない」ということは偽だとするとこの正月明けは火山噴火である fact3: 「「何らかの物は尽力するしそれに火山噴火だ」ということは誤りならばそれは彫り上げるということはない」ということは事実だ fact4: 仮にこの原爆投下が利けるないならこのドットコムは彫り上げるし火山噴火である fact5: 「このドットコムは情け深い」ということは成り立つなら危ない fact6: もし仮にあるものはしどけなくないとすれば「尽力するしさらに火山噴火だ」ということは成り立たない fact7: もし何らかのものが尽力しないとしたらしどけなくなくて更にそれは彫り上げない fact8: 仮にこの原爆投下が尽力しないとすると容易くないしかつそれは利けるない fact9: あの東北大学付属図書館狩野文庫蔵写本はきな臭いということはないし下ろし易くない fact10: この原爆投下は尽力しない fact11: あの市場レートは尽力しない fact12: このドットコムは彫り上げれば「この正月明けはしどけなくないし彫り上げるということはない」ということは成り立たない fact13: もし仮に「何らかの物は尽力するけれど配置しない」ということは成り立たないとしたら尽力しない ; $hypothesis$ = 「この正月明けはしどけなくなくてそれに彫り上げるということはない」ということは成り立つということはない ; $proof$ = 
fact8 & fact10 -> int1: この原爆投下は容易くないしまた利けるない; int1 -> int2: この原爆投下は利けるない; int2 & fact4 -> int3: このドットコムは彫り上げるしそれにそれは火山噴火だ; int3 -> int4: このドットコムは彫り上げる; int4 & fact12 -> hypothesis; __PROVED__
事実1: もしこのドットコムは危ないなら「この原爆投下は会社概要でないしかつオアＤＰでない」ということは偽だ
事実2: もし仮に「この原爆投下は会社概要でなくてその上オアｄＰでない」ということは偽だとするとこの正月明けは火山噴火である
事実3: 「「何らかの物は尽力するしそれに火山噴火だ」ということは誤りならばそれは彫り上げるということはない」ということは事実だ
事実4: 仮にこの原爆投下が利けるないならこのドットコムは彫り上げるし火山噴火である
事実5: 「このドットコムは情け深い」ということは成り立つなら危ない
事実6: もし仮にあるものはしどけなくないとすれば「尽力するしさらに火山噴火だ」ということは成り立たない
事実7: もし何らかのものが尽力しないとしたらしどけなくなくて更にそれは彫り上げない
事実8: 仮にこの原爆投下が尽力しないとすると容易くないしかつそれは利けるない
事実9: あの東北大学付属図書館狩野文庫蔵写本はきな臭いということはないし下ろし易くない
事実10: この原爆投下は尽力しない
事実11: あの市場レートは尽力しない
事実12: このドットコムは彫り上げれば「この正月明けはしどけなくないし彫り上げるということはない」ということは成り立たない
事実13: もし仮に「何らかの物は尽力するけれど配置しない」ということは成り立たないとしたら尽力しない

仮説: 「この正月明けはしどけなくなくてそれに彫り上げるということはない」ということは成り立つということはない
1. 事実8と事実10から、推論1: "この原爆投下は容易くないしまた利けるない"が導かれる
2. 推論1から、推論2: "この原爆投下は利けるない"が導かれる
3. 推論2と事実4から、推論3: "このドットコムは彫り上げるしそれにそれは火山噴火だ"が導かれる
4. 推論3から、推論4: "このドットコムは彫り上げる"が導かれる
5. 推論4と事実12から、仮説が導かれる

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