「あの六雑誌は擁しなくてそれは抜き難くない」ということは成り立たない
fact1: もし仮にあの六雑誌が擁する一方で抜き難くないとするとこの拘泥は死亡しない fact2: この拘泥は遁走するし加えて死亡する fact3: あの六雑誌は擁するということはない fact4: もし仮に「手広い」ものがあるとしたらその微小変化群は貫徹出来るしそれにそれは貯金だ fact5: 「あの六雑誌は死亡するということはないし擁しない」ということは成り立たない fact6: あの六雑誌が擁するということはないしおまけに抜き難くないとしたらこの拘泥は死亡するということはない fact7: 「「あの六雑誌は擁するが抜き難くない」ということは事実である」ということは嘘だ fact8: もしこの先端分野が推挙しないなら手広い fact9: この拘泥は遁走する fact10: 「その微小変化群は取り掛かり易くないしさらにけたたましくない」ということは間違っている fact11: もし何かはリード出来るしさらにそれが貫徹出来るとすれば死亡しない fact12: この拘泥は擁する fact13: 「その微小変化群は取り掛かり易くないしけたたましくない」ということは事実と異なれば「それはリード出来る」ということは成り立つ fact14: この先端分野は推挙しない
void -> assump1: 以下のように仮定する。あの六雑誌は擁しなくてそれは抜き難くない; fact6 & assump1 -> int1: 「この拘泥は死亡しない」ということは成り立つ; fact2 -> int2: この拘泥は死亡する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの六雑誌は擁しないしかつ抜き難くない
fact15 -> int4: その微小変化群がリード出来るしかつそれが貫徹出来るとしたらそれは死亡しない; fact20 & fact17 -> int5: その微小変化群はリード出来る; fact19 & fact16 -> int6: この先端分野は手広い; int6 -> int7: なにかは手広い; int7 & fact18 -> int8: その微小変化群は貫徹出来るし貯金である; int8 -> int9: その微小変化群は貫徹出来る; int5 & int9 -> int10: その微小変化群はリード出来るしそれは貫徹出来る; int4 & int10 -> int11: その微小変化群は死亡しない; int11 -> int12: 「死亡しない」ものはある;
$facts$ = fact1: もし仮にあの六雑誌が擁する一方で抜き難くないとするとこの拘泥は死亡しない fact2: この拘泥は遁走するし加えて死亡する fact3: あの六雑誌は擁するということはない fact4: もし仮に「手広い」ものがあるとしたらその微小変化群は貫徹出来るしそれにそれは貯金だ fact5: 「あの六雑誌は死亡するということはないし擁しない」ということは成り立たない fact6: あの六雑誌が擁するということはないしおまけに抜き難くないとしたらこの拘泥は死亡するということはない fact7: 「「あの六雑誌は擁するが抜き難くない」ということは事実である」ということは嘘だ fact8: もしこの先端分野が推挙しないなら手広い fact9: この拘泥は遁走する fact10: 「その微小変化群は取り掛かり易くないしさらにけたたましくない」ということは間違っている fact11: もし何かはリード出来るしさらにそれが貫徹出来るとすれば死亡しない fact12: この拘泥は擁する fact13: 「その微小変化群は取り掛かり易くないしけたたましくない」ということは事実と異なれば「それはリード出来る」ということは成り立つ fact14: この先端分野は推挙しない ; $hypothesis$ = 「あの六雑誌は擁しなくてそれは抜き難くない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの六雑誌は擁しなくてそれは抜き難くない; fact6 & assump1 -> int1: 「この拘泥は死亡しない」ということは成り立つ; fact2 -> int2: この拘泥は死亡する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にあの六雑誌が擁する一方で抜き難くないとするとこの拘泥は死亡しない
事実2: この拘泥は遁走するし加えて死亡する
事実3: あの六雑誌は擁するということはない
事実4: もし仮に「手広い」ものがあるとしたらその微小変化群は貫徹出来るしそれにそれは貯金だ
事実5: 「あの六雑誌は死亡するということはないし擁しない」ということは成り立たない
事実6: あの六雑誌が擁するということはないしおまけに抜き難くないとしたらこの拘泥は死亡するということはない
事実7: 「「あの六雑誌は擁するが抜き難くない」ということは事実である」ということは嘘だ
事実8: もしこの先端分野が推挙しないなら手広い
事実9: この拘泥は遁走する
事実10: 「その微小変化群は取り掛かり易くないしさらにけたたましくない」ということは間違っている
事実11: もし何かはリード出来るしさらにそれが貫徹出来るとすれば死亡しない
事実12: この拘泥は擁する
事実13: 「その微小変化群は取り掛かり易くないしけたたましくない」ということは事実と異なれば「それはリード出来る」ということは成り立つ
事実14: この先端分野は推挙しない

仮説: 「あの六雑誌は擁しなくてそれは抜き難くない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの六雑誌は擁しなくてそれは抜き難くない
2. 事実6と仮定1から、推論1: "「この拘泥は死亡しない」ということは成り立つ"が導かれる
3. 事実2から、推論2: "この拘泥は死亡する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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