この間柱は植林しないか柔らか過ぎないかまたは両方だ
fact1: あのＩＭＥが続き易いとするとそれは過可動だ fact2: 「何らかの物は籠絡しない一方でそれは固める」ということは間違っているとしたら働き易い fact3: 仮に「この内股は籠絡するしさらにそれは固める」ということは偽であるとすると「それは働き易くない」ということは成り立つ fact4: もしとあるものが引き直し計算するとしたら過可動だ fact5: 仮にこの内股は四十六センチ砲だとすると「あのＩＭＥは籠絡するということはないが固める」ということは成り立たない fact6: なにかは続き易いとしたら「「植林しないかまたは柔らか過ぎるということはないかもしくは両方ともだ」ということは確かである」ということは嘘だ fact7: もしこの保存期間が板碑であるとしたらあのＩＭＥは引き直し計算する fact8: ある物は三百六ブレークでないがしかし今する fact9: もしもこの内股が働き易くないとすればあのＩＭＥは板碑であるかまたは過可動であるかあるいは両方である fact10: もしも「「三百六ブレークだということはないけれど今する」ということは事実でない」物があるとすればあの同一症例は続き易い fact11: あの中央集権化は柔らか過ぎる fact12: あのＩＭＥが板碑であるならばこの保存期間は引き直し計算する fact13: もしとあるものは四十六センチ砲でないとしたら「それは籠絡するし固める」ということは偽である fact14: この内股は四十六センチ砲だ fact15: 「あの中央集権化は三百六ブレークでないけれど今する」ということは事実と異なる fact16: 「この内股は今する」ということは真実だ fact17: 「「四十六センチ砲で更に争い合う」ということは誤りである」物はある fact18: もしもあのＩＭＥが過可動であるしまた働き易いならばこの間柱は柔らか過ぎない fact19: 「「三百六ブレークで加えて今する」ということは間違いな」物はある fact20: もし「あの同一症例は続き易い」ということは正しいとすれば「この保存期間は板碑だ」ということは事実だ
fact15 -> int1: 「「三百六ブレークでないが今する」ということは成り立つということはない」物はある; int1 & fact10 -> int2: あの同一症例は続き易い; int2 & fact20 -> int3: この保存期間は板碑である; int3 & fact7 -> int4: あのＩＭＥは引き直し計算する; fact4 -> int5: もしあのＩＭＥは引き直し計算するとすると「過可動だ」ということは確かだ; int4 & int5 -> int6: あのＩＭＥは過可動である; fact2 -> int7: もし「「あのＩＭＥは籠絡しないけど固める」ということは成り立つ」ということは偽であるとすればそれは働き易い; fact14 & fact5 -> int8: 「あのＩＭＥは籠絡しないがしかし固める」ということは間違っている; int7 & int8 -> int9: 「あのＩＭＥは働き易い」ということは確かだ; int6 & int9 -> int10: あのＩＭＥは過可動であるしその上働き易い; int10 & fact18 -> int11: この間柱は柔らか過ぎない; int11 -> hypothesis;
「「この間柱は植林しないかあるいは柔らか過ぎないかもしくは両方ともだ」ということは正しい」ということは成り立たない
fact26 -> int12: もしも「この間柱は続き易くない」ということは間違っているなら「植林しないかもしくは柔らか過ぎないかもしくは両方だ」ということは間違っている; fact24 -> int13: もし「この内股は四十六センチ砲でない」ということは成り立てば「籠絡するし固める」ということは誤っている;
$facts$ = fact1: あのＩＭＥが続き易いとするとそれは過可動だ fact2: 「何らかの物は籠絡しない一方でそれは固める」ということは間違っているとしたら働き易い fact3: 仮に「この内股は籠絡するしさらにそれは固める」ということは偽であるとすると「それは働き易くない」ということは成り立つ fact4: もしとあるものが引き直し計算するとしたら過可動だ fact5: 仮にこの内股は四十六センチ砲だとすると「あのＩＭＥは籠絡するということはないが固める」ということは成り立たない fact6: なにかは続き易いとしたら「「植林しないかまたは柔らか過ぎるということはないかもしくは両方ともだ」ということは確かである」ということは嘘だ fact7: もしこの保存期間が板碑であるとしたらあのＩＭＥは引き直し計算する fact8: ある物は三百六ブレークでないがしかし今する fact9: もしもこの内股が働き易くないとすればあのＩＭＥは板碑であるかまたは過可動であるかあるいは両方である fact10: もしも「「三百六ブレークだということはないけれど今する」ということは事実でない」物があるとすればあの同一症例は続き易い fact11: あの中央集権化は柔らか過ぎる fact12: あのＩＭＥが板碑であるならばこの保存期間は引き直し計算する fact13: もしとあるものは四十六センチ砲でないとしたら「それは籠絡するし固める」ということは偽である fact14: この内股は四十六センチ砲だ fact15: 「あの中央集権化は三百六ブレークでないけれど今する」ということは事実と異なる fact16: 「この内股は今する」ということは真実だ fact17: 「「四十六センチ砲で更に争い合う」ということは誤りである」物はある fact18: もしもあのＩＭＥが過可動であるしまた働き易いならばこの間柱は柔らか過ぎない fact19: 「「三百六ブレークで加えて今する」ということは間違いな」物はある fact20: もし「あの同一症例は続き易い」ということは正しいとすれば「この保存期間は板碑だ」ということは事実だ ; $hypothesis$ = この間柱は植林しないか柔らか過ぎないかまたは両方だ ; $proof$ = 
fact15 -> int1: 「「三百六ブレークでないが今する」ということは成り立つということはない」物はある; int1 & fact10 -> int2: あの同一症例は続き易い; int2 & fact20 -> int3: この保存期間は板碑である; int3 & fact7 -> int4: あのＩＭＥは引き直し計算する; fact4 -> int5: もしあのＩＭＥは引き直し計算するとすると「過可動だ」ということは確かだ; int4 & int5 -> int6: あのＩＭＥは過可動である; fact2 -> int7: もし「「あのＩＭＥは籠絡しないけど固める」ということは成り立つ」ということは偽であるとすればそれは働き易い; fact14 & fact5 -> int8: 「あのＩＭＥは籠絡しないがしかし固める」ということは間違っている; int7 & int8 -> int9: 「あのＩＭＥは働き易い」ということは確かだ; int6 & int9 -> int10: あのＩＭＥは過可動であるしその上働き易い; int10 & fact18 -> int11: この間柱は柔らか過ぎない; int11 -> hypothesis; __PROVED__
事実1: あのＩＭＥが続き易いとするとそれは過可動だ
事実2: 「何らかの物は籠絡しない一方でそれは固める」ということは間違っているとしたら働き易い
事実3: 仮に「この内股は籠絡するしさらにそれは固める」ということは偽であるとすると「それは働き易くない」ということは成り立つ
事実4: もしとあるものが引き直し計算するとしたら過可動だ
事実5: 仮にこの内股は四十六センチ砲だとすると「あのＩＭＥは籠絡するということはないが固める」ということは成り立たない
事実6: なにかは続き易いとしたら「「植林しないかまたは柔らか過ぎるということはないかもしくは両方ともだ」ということは確かである」ということは嘘だ
事実7: もしこの保存期間が板碑であるとしたらあのＩＭＥは引き直し計算する
事実8: ある物は三百六ブレークでないがしかし今する
事実9: もしもこの内股が働き易くないとすればあのＩＭＥは板碑であるかまたは過可動であるかあるいは両方である
事実10: もしも「「三百六ブレークだということはないけれど今する」ということは事実でない」物があるとすればあの同一症例は続き易い
事実11: あの中央集権化は柔らか過ぎる
事実12: あのＩＭＥが板碑であるならばこの保存期間は引き直し計算する
事実13: もしとあるものは四十六センチ砲でないとしたら「それは籠絡するし固める」ということは偽である
事実14: この内股は四十六センチ砲だ
事実15: 「あの中央集権化は三百六ブレークでないけれど今する」ということは事実と異なる
事実16: 「この内股は今する」ということは真実だ
事実17: 「「四十六センチ砲で更に争い合う」ということは誤りである」物はある
事実18: もしもあのＩＭＥが過可動であるしまた働き易いならばこの間柱は柔らか過ぎない
事実19: 「「三百六ブレークで加えて今する」ということは間違いな」物はある
事実20: もし「あの同一症例は続き易い」ということは正しいとすれば「この保存期間は板碑だ」ということは事実だ

仮説: この間柱は植林しないか柔らか過ぎないかまたは両方だ
1. 事実15から、推論1: "「「三百六ブレークでないが今する」ということは成り立つということはない」物はある"が導かれる
2. 推論1と事実10から、推論2: "あの同一症例は続き易い"が導かれる
3. 推論2と事実20から、推論3: "この保存期間は板碑である"が導かれる
4. 推論3と事実7から、推論4: "あのＩＭＥは引き直し計算する"が導かれる
5. 事実4から、推論5: "もしあのＩＭＥは引き直し計算するとすると「過可動だ」ということは確かだ"が導かれる
6. 推論4と推論5から、推論6: "あのＩＭＥは過可動である"が導かれる
7. 事実2から、推論7: "もし「「あのＩＭＥは籠絡しないけど固める」ということは成り立つ」ということは偽であるとすればそれは働き易い"が導かれる
8. 事実14と事実5から、推論8: "「あのＩＭＥは籠絡しないがしかし固める」ということは間違っている"が導かれる
9. 推論7と推論8から、推論9: "「あのＩＭＥは働き易い」ということは確かだ"が導かれる
10. 推論6と推論9から、推論10: "あのＩＭＥは過可動であるしその上働き易い"が導かれる
11. 推論10と事実18から、推論11: "この間柱は柔らか過ぎない"が導かれる
12. 推論11から、仮説が導かれる

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