「あの手拳は気まずい」ということは確かだ
fact1: 仮にその固さが御構い無いならこのロートアイアンは方様である fact2: 何らかのものは絶え間無いけれど思い易くない fact3: 「絶え間無くない」物があるとしたらこの諸論文は危うい fact4: もし仮にこの営業時間は淀み無くないなら「それは絶え間無いけど思い易くない」ということは間違っている fact5: この営業時間は危うい fact6: もし仮にこのロートアイアンが気まずいとするとあの手拳は方様だ fact7: このロートアイアンは皮膚機能だ fact8: 仮にあの手拳は絶え間無いなら「この営業時間は気まずい」ということは本当だ fact9: その固さが思い易くないとするとこの営業時間は思い易いということはない fact10: その固さは絶え間無い fact11: あの手拳は淀み無い fact12: この国体は気まずい fact13: その固さは危うい fact14: 「「絶え間無いしその上思い易い」ということは成り立たない」ものはある fact15: 方様は淀み無い一方で御構い無くない fact16: もし仮に「あの打撲傷は間違い無くないし動揺し易いということはない」ということは間違いであるとすればこの諸論文は低抗するということはない fact17: もし仮にこの営業時間が思い易くないとするとあの手拳は絶え間無くて方様である fact18: もし「「絶え間無くて更に思い易くない」ということは間違いである」ものがあるとすればこの諸論文は危うい fact19: 仮に「とあるものは絶え間無くておまけにそれは方様である」ということは成り立たないとすると方様でない fact20: もしこの諸論文は低抗するということはないならば「このロートアイアンはやくざっぽいし危うい」ということは誤りである fact21: 「この諸論文は危うい」ということは真実であるとすると「あの手拳は気まずい」ということは間違いでない fact22: 「このロートアイアンは方様でない」ということは成り立つ fact23: 仮にとあるものは方様だということはないなら「御構い無いがしかし淀み無くない」ということは成り立つということはない fact24: もし仮にとあるものが淀み無い一方で御構い無くないならばそれは気まずくない fact25: もしもこの営業時間が淀み無いとしたらその固さは御構い無い
void -> assump1: 以下のように仮定する。この営業時間は淀み無い; fact25 & assump1 -> int1: その固さは御構い無い; int1 & fact1 -> int2: このロートアイアンは方様だ; int2 & fact22 -> int3: これは矛盾である; [assump1] & int3 -> int4: この営業時間は淀み無くない; int4 & fact4 -> int5: 「この営業時間は絶え間無い一方で思い易くない」ということは間違いだ; int5 -> int6: 「「絶え間無い一方で思い易くない」ということは間違いな」ものはある; int6 & fact18 -> int7: この諸論文は危うい; int7 & fact21 -> hypothesis;
あの手拳は気まずくない
fact27 -> int8: もし仮にあの手拳は淀み無いけれど御構い無くないとすれば「それは気まずい」ということは成り立たない; fact28 -> int9: 仮にあの手拳が方様なら淀み無いしそれに御構い無くない;
$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: もし仮にとあるものが淀み無い一方で御構い無くないならばそれは気まずくない fact25: もしもこの営業時間が淀み無いとしたらその固さは御構い無い ; $hypothesis$ = 「あの手拳は気まずい」ということは確かだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この営業時間は淀み無い; fact25 & assump1 -> int1: その固さは御構い無い; int1 & fact1 -> int2: このロートアイアンは方様だ; int2 & fact22 -> int3: これは矛盾である; [assump1] & int3 -> int4: この営業時間は淀み無くない; int4 & fact4 -> int5: 「この営業時間は絶え間無い一方で思い易くない」ということは間違いだ; int5 -> int6: 「「絶え間無い一方で思い易くない」ということは間違いな」ものはある; int6 & fact18 -> int7: この諸論文は危うい; int7 & fact21 -> 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: もし仮にとあるものが淀み無い一方で御構い無くないならばそれは気まずくない
事実25: もしもこの営業時間が淀み無いとしたらその固さは御構い無い

仮説: 「あの手拳は気まずい」ということは確かだ
1. 仮定1: 以下のように仮定する。この営業時間は淀み無い
2. 事実25と仮定1から、推論1: "その固さは御構い無い"が導かれる
3. 推論1と事実1から、推論2: "このロートアイアンは方様だ"が導かれる
4. 推論2と事実22から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この営業時間は淀み無くない"が導かれる
6. 推論4と事実4から、推論5: "「この営業時間は絶え間無い一方で思い易くない」ということは間違いだ"が導かれる
7. 推論5から、推論6: "「「絶え間無い一方で思い易くない」ということは間違いな」ものはある"が導かれる
8. 推論6と事実18から、推論7: "この諸論文は危うい"が導かれる
9. 推論7と事実21から、仮説が導かれる

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