その身構えは決めない
fact1: もしもとあるものが想定し難いけれど輝かしくないならばそのＤＮＡ断片は構成刃先だ fact2: 「その身構えは判断し難いし当たり難い」ということは誤りであるとすれば決めない fact3: もしも「なにかは構成刃先でない一方で判断し難い」ということは成り立つということはないならば輝かしい fact4: 「判断し難くない」物はある fact5: もしその身構えは値付けであるということはないとすると「そのＤＮＡ断片は値付けでそれは当たり難い」ということは成り立たない fact6: 想定し難くない物は開示請求等である一方で張り詰めない fact7: 何らかの物は値付けである fact8: 仮にそのＤＮＡ断片は判断し難くないならば「その身構えは判断し難くて加えてそれは当たり難い」ということは事実と異なる fact9: その身構えは輝かしい fact10: もしも「その身構えは値付けであるし更に当たり難い」ということは誤っていればそれは構成刃先でない fact11: 仮にそのＤＮＡ断片は構成刃先で更に判断し難いなら値付けでない fact12: とある物は値付けだし構成刃先だ fact13: もし仮にそのＤＮＡ断片は当たり難いということはないとすると「その身構えは当たり難くて構成刃先だ」ということは誤っている fact14: 仮にそのＤＮＡ断片が決めないとしたらそれは判断し難くない fact15: その身構えは構成刃先でないとしたら「そのＤＮＡ断片は構成刃先であるしそれにそれは判断し難い」ということは間違っている fact16: この営業課長が卑しないとするとそれは文系でないけれど張り合う fact17: その身構えは判断し難いし加えて値付けである fact18: 何かは想定し難いとすれば決める fact19: この営業課長は卑しない fact20: もしもそのブレーキが当たり難いということはないとしたら構成刃先であるししかも値付けである fact21: そのＤＮＡ断片は値付けである fact22: そのＤＮＡ断片は輝かしい fact23: 仮に「文系でないがしかし張り合う」ものがあるならそのブレーキは当たり難くない fact24: 想定し難いし更に輝かしくない物はある
fact24 & fact1 -> int1: そのＤＮＡ断片は構成刃先だ; void -> assump1: 以下のように仮定する。「そのＤＮＡ断片は判断し難い」ということは成り立つ; int1 & assump1 -> int2: そのＤＮＡ断片は構成刃先でおまけに判断し難い; int2 & fact11 -> int3: そのＤＮＡ断片は値付けでない; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのＤＮＡ断片は判断し難いということはない; int5 & fact8 -> int6: 「その身構えは判断し難いし当たり難い」ということは誤りだ; int6 & fact2 -> hypothesis;
「開示請求等だし更に張り詰めない」ものはある
fact25 -> int7: もしそのＤＮＡ断片が想定し難くないとするとそれは開示請求等でしかもそれは張り詰めない; fact26 -> int8: その身構えは判断し難い;
$facts$ = fact1: もしもとあるものが想定し難いけれど輝かしくないならばそのＤＮＡ断片は構成刃先だ fact2: 「その身構えは判断し難いし当たり難い」ということは誤りであるとすれば決めない fact3: もしも「なにかは構成刃先でない一方で判断し難い」ということは成り立つということはないならば輝かしい fact4: 「判断し難くない」物はある fact5: もしその身構えは値付けであるということはないとすると「そのＤＮＡ断片は値付けでそれは当たり難い」ということは成り立たない fact6: 想定し難くない物は開示請求等である一方で張り詰めない fact7: 何らかの物は値付けである fact8: 仮にそのＤＮＡ断片は判断し難くないならば「その身構えは判断し難くて加えてそれは当たり難い」ということは事実と異なる fact9: その身構えは輝かしい fact10: もしも「その身構えは値付けであるし更に当たり難い」ということは誤っていればそれは構成刃先でない fact11: 仮にそのＤＮＡ断片は構成刃先で更に判断し難いなら値付けでない fact12: とある物は値付けだし構成刃先だ fact13: もし仮にそのＤＮＡ断片は当たり難いということはないとすると「その身構えは当たり難くて構成刃先だ」ということは誤っている fact14: 仮にそのＤＮＡ断片が決めないとしたらそれは判断し難くない fact15: その身構えは構成刃先でないとしたら「そのＤＮＡ断片は構成刃先であるしそれにそれは判断し難い」ということは間違っている fact16: この営業課長が卑しないとするとそれは文系でないけれど張り合う fact17: その身構えは判断し難いし加えて値付けである fact18: 何かは想定し難いとすれば決める fact19: この営業課長は卑しない fact20: もしもそのブレーキが当たり難いということはないとしたら構成刃先であるししかも値付けである fact21: そのＤＮＡ断片は値付けである fact22: そのＤＮＡ断片は輝かしい fact23: 仮に「文系でないがしかし張り合う」ものがあるならそのブレーキは当たり難くない fact24: 想定し難いし更に輝かしくない物はある ; $hypothesis$ = その身構えは決めない ; $proof$ = 
fact24 & fact1 -> int1: そのＤＮＡ断片は構成刃先だ; void -> assump1: 以下のように仮定する。「そのＤＮＡ断片は判断し難い」ということは成り立つ; int1 & assump1 -> int2: そのＤＮＡ断片は構成刃先でおまけに判断し難い; int2 & fact11 -> int3: そのＤＮＡ断片は値付けでない; int3 & fact21 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのＤＮＡ断片は判断し難いということはない; int5 & fact8 -> int6: 「その身構えは判断し難いし当たり難い」ということは誤りだ; int6 & fact2 -> hypothesis; __PROVED__
事実1: もしもとあるものが想定し難いけれど輝かしくないならばそのＤＮＡ断片は構成刃先だ
事実2: 「その身構えは判断し難いし当たり難い」ということは誤りであるとすれば決めない
事実3: もしも「なにかは構成刃先でない一方で判断し難い」ということは成り立つということはないならば輝かしい
事実4: 「判断し難くない」物はある
事実5: もしその身構えは値付けであるということはないとすると「そのＤＮＡ断片は値付けでそれは当たり難い」ということは成り立たない
事実6: 想定し難くない物は開示請求等である一方で張り詰めない
事実7: 何らかの物は値付けである
事実8: 仮にそのＤＮＡ断片は判断し難くないならば「その身構えは判断し難くて加えてそれは当たり難い」ということは事実と異なる
事実9: その身構えは輝かしい
事実10: もしも「その身構えは値付けであるし更に当たり難い」ということは誤っていればそれは構成刃先でない
事実11: 仮にそのＤＮＡ断片は構成刃先で更に判断し難いなら値付けでない
事実12: とある物は値付けだし構成刃先だ
事実13: もし仮にそのＤＮＡ断片は当たり難いということはないとすると「その身構えは当たり難くて構成刃先だ」ということは誤っている
事実14: 仮にそのＤＮＡ断片が決めないとしたらそれは判断し難くない
事実15: その身構えは構成刃先でないとしたら「そのＤＮＡ断片は構成刃先であるしそれにそれは判断し難い」ということは間違っている
事実16: この営業課長が卑しないとするとそれは文系でないけれど張り合う
事実17: その身構えは判断し難いし加えて値付けである
事実18: 何かは想定し難いとすれば決める
事実19: この営業課長は卑しない
事実20: もしもそのブレーキが当たり難いということはないとしたら構成刃先であるししかも値付けである
事実21: そのＤＮＡ断片は値付けである
事実22: そのＤＮＡ断片は輝かしい
事実23: 仮に「文系でないがしかし張り合う」ものがあるならそのブレーキは当たり難くない
事実24: 想定し難いし更に輝かしくない物はある

仮説: その身構えは決めない
1. 事実24と事実1から、推論1: "そのＤＮＡ断片は構成刃先だ"が導かれる
2. 仮定1: 以下のように仮定する。「そのＤＮＡ断片は判断し難い」ということは成り立つ
3. 推論1と仮定1から、推論2: "そのＤＮＡ断片は構成刃先でおまけに判断し難い"が導かれる
4. 推論2と事実11から、推論3: "そのＤＮＡ断片は値付けでない"が導かれる
5. 推論3と事実21から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのＤＮＡ断片は判断し難いということはない"が導かれる
7. 推論5と事実8から、推論6: "「その身構えは判断し難いし当たり難い」ということは誤りだ"が導かれる
8. 推論6と事実2から、仮説が導かれる

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