その寄稿は神秘めかない
fact1: もし仮にあの要素毎が激増しないとすればあの寄稿は神秘めく fact2: もしも何らかの物は激増しないとしたら「短い」ということは確かである fact3: 仮に「何かはアイヌ達だ一方で諒でない」ということは間違いであるとしたらそれはみみっちい fact4: もしもあるものはハンダ工作ならば「それは神秘めくということはないしそれにそれは模倣だ」ということは偽である fact5: 短い物は激増するということはない fact6: もしもその二千年後半は激増するということはないとすると「それはアイヌ達でないけれど短い」ということは間違いだ fact7: もし仮に何かは諒であるかそれが短いとすればそれは激増しない fact8: すべての物は諒でおまけにアイヌ達だ fact9: その寄稿はハンダ工作だ fact10: 「その二千年後半は激増するし更に模倣だ」ということは成り立たないならば激増しない fact11: もしある物は短いなら「アイヌ達だしそれは諒でない」ということは誤っている
fact8 -> int1: あの要素毎は諒であるしその上アイヌ達である; int1 -> int2: あの要素毎は諒だ; int2 -> int3: あの要素毎は諒であるかもしくは短いかもしくはどちらもだ; fact7 -> int4: もしもあの要素毎は諒であるかあるいは短いとしたらそれは激増しない; int3 & int4 -> int5: あの要素毎は激増しない; int5 & fact1 -> hypothesis;
あの冷却管はみみっちい
fact13 -> int6: もし「あの冷却管はアイヌ達であるがそれは諒でない」ということは嘘であるならみみっちい; fact14 -> int7: もしもあの冷却管は短いとすれば「アイヌ達だしそれは諒でない」ということは成り立たない; fact16 -> int8: もし仮にあの冷却管は激増しないなら「それは短い」ということは確かである; fact15 -> int9: もしもその寄稿はハンダ工作であるとすれば「それは神秘めかなくてその上それは模倣である」ということは偽だ; int9 & fact12 -> int10: 「その寄稿は神秘めかないがそれは模倣である」ということは嘘である; int10 -> int11: 「「神秘めかなくてかつ模倣である」ということは成り立たない」物はある;
$facts$ = fact1: もし仮にあの要素毎が激増しないとすればあの寄稿は神秘めく fact2: もしも何らかの物は激増しないとしたら「短い」ということは確かである fact3: 仮に「何かはアイヌ達だ一方で諒でない」ということは間違いであるとしたらそれはみみっちい fact4: もしもあるものはハンダ工作ならば「それは神秘めくということはないしそれにそれは模倣だ」ということは偽である fact5: 短い物は激増するということはない fact6: もしもその二千年後半は激増するということはないとすると「それはアイヌ達でないけれど短い」ということは間違いだ fact7: もし仮に何かは諒であるかそれが短いとすればそれは激増しない fact8: すべての物は諒でおまけにアイヌ達だ fact9: その寄稿はハンダ工作だ fact10: 「その二千年後半は激増するし更に模倣だ」ということは成り立たないならば激増しない fact11: もしある物は短いなら「アイヌ達だしそれは諒でない」ということは誤っている ; $hypothesis$ = その寄稿は神秘めかない ; $proof$ = 
fact8 -> int1: あの要素毎は諒であるしその上アイヌ達である; int1 -> int2: あの要素毎は諒だ; int2 -> int3: あの要素毎は諒であるかもしくは短いかもしくはどちらもだ; fact7 -> int4: もしもあの要素毎は諒であるかあるいは短いとしたらそれは激増しない; int3 & int4 -> int5: あの要素毎は激増しない; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にあの要素毎が激増しないとすればあの寄稿は神秘めく
事実2: もしも何らかの物は激増しないとしたら「短い」ということは確かである
事実3: 仮に「何かはアイヌ達だ一方で諒でない」ということは間違いであるとしたらそれはみみっちい
事実4: もしもあるものはハンダ工作ならば「それは神秘めくということはないしそれにそれは模倣だ」ということは偽である
事実5: 短い物は激増するということはない
事実6: もしもその二千年後半は激増するということはないとすると「それはアイヌ達でないけれど短い」ということは間違いだ
事実7: もし仮に何かは諒であるかそれが短いとすればそれは激増しない
事実8: すべての物は諒でおまけにアイヌ達だ
事実9: その寄稿はハンダ工作だ
事実10: 「その二千年後半は激増するし更に模倣だ」ということは成り立たないならば激増しない
事実11: もしある物は短いなら「アイヌ達だしそれは諒でない」ということは誤っている

仮説: その寄稿は神秘めかない
1. 事実8から、推論1: "あの要素毎は諒であるしその上アイヌ達である"が導かれる
2. 推論1から、推論2: "あの要素毎は諒だ"が導かれる
3. 推論2から、推論3: "あの要素毎は諒であるかもしくは短いかもしくはどちらもだ"が導かれる
4. 事実7から、推論4: "もしもあの要素毎は諒であるかあるいは短いとしたらそれは激増しない"が導かれる
5. 推論3と推論4から、推論5: "あの要素毎は激増しない"が導かれる
6. 推論5と事実1から、仮説が否定される

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