もし仮にその能力開発基本調査が味気なくないならあの機能は睦み合わない
fact1: もしも「何かはひ弱いがしかし演技でない」ということは成り立たないならばそれは味気ない fact2: 仮にその能力開発基本調査が街らしいしその上四ステージであるとするとあの機能は睦み合うということはない fact3: もし仮にその能力開発基本調査は街らしくないとしたら「それはひ弱いししかも演技でない」ということは誤っている fact4: サバルタン研究は四ステージだ fact5: その能力開発基本調査は女っぽいしそれはサバルタン研究である fact6: あの職人階層は睦み合わない
void -> assump1: 以下のように仮定する。「その能力開発基本調査は街らしくない」ということは成り立つ; fact3 & assump1 -> int1: 「その能力開発基本調査はひ弱いけれど演技でない」ということは成り立たない; fact1 -> int2: もし「その能力開発基本調査はひ弱いがそれは演技でない」ということは正しくないとすれば味気ない; int1 & int2 -> int3: その能力開発基本調査は味気ない; void -> assump2: 以下のように仮定する。その能力開発基本調査は味気なくない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その能力開発基本調査は街らしい; fact4 -> int6: もし仮にその能力開発基本調査はサバルタン研究であるとしたら四ステージである; fact5 -> int7: その能力開発基本調査はサバルタン研究だ; int6 & int7 -> int8: その能力開発基本調査は四ステージである; int5 & int8 -> int9: その能力開発基本調査は街らしいし加えて四ステージだ; int9 & fact2 -> int10: あの機能は睦み合わない; [assump2] & int10 -> hypothesis;
$facts$ = fact1: もしも「何かはひ弱いがしかし演技でない」ということは成り立たないならばそれは味気ない fact2: 仮にその能力開発基本調査が街らしいしその上四ステージであるとするとあの機能は睦み合うということはない fact3: もし仮にその能力開発基本調査は街らしくないとしたら「それはひ弱いししかも演技でない」ということは誤っている fact4: サバルタン研究は四ステージだ fact5: その能力開発基本調査は女っぽいしそれはサバルタン研究である fact6: あの職人階層は睦み合わない ; $hypothesis$ = もし仮にその能力開発基本調査が味気なくないならあの機能は睦み合わない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その能力開発基本調査は街らしくない」ということは成り立つ; fact3 & assump1 -> int1: 「その能力開発基本調査はひ弱いけれど演技でない」ということは成り立たない; fact1 -> int2: もし「その能力開発基本調査はひ弱いがそれは演技でない」ということは正しくないとすれば味気ない; int1 & int2 -> int3: その能力開発基本調査は味気ない; void -> assump2: 以下のように仮定する。その能力開発基本調査は味気なくない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その能力開発基本調査は街らしい; fact4 -> int6: もし仮にその能力開発基本調査はサバルタン研究であるとしたら四ステージである; fact5 -> int7: その能力開発基本調査はサバルタン研究だ; int6 & int7 -> int8: その能力開発基本調査は四ステージである; int5 & int8 -> int9: その能力開発基本調査は街らしいし加えて四ステージだ; int9 & fact2 -> int10: あの機能は睦み合わない; [assump2] & int10 -> hypothesis; __PROVED__
事実1: もしも「何かはひ弱いがしかし演技でない」ということは成り立たないならばそれは味気ない
事実2: 仮にその能力開発基本調査が街らしいしその上四ステージであるとするとあの機能は睦み合うということはない
事実3: もし仮にその能力開発基本調査は街らしくないとしたら「それはひ弱いししかも演技でない」ということは誤っている
事実4: サバルタン研究は四ステージだ
事実5: その能力開発基本調査は女っぽいしそれはサバルタン研究である
事実6: あの職人階層は睦み合わない

仮説: もし仮にその能力開発基本調査が味気なくないならあの機能は睦み合わない
1. 仮定1: 以下のように仮定する。「その能力開発基本調査は街らしくない」ということは成り立つ
2. 事実3と仮定1から、推論1: "「その能力開発基本調査はひ弱いけれど演技でない」ということは成り立たない"が導かれる
3. 事実1から、推論2: "もし「その能力開発基本調査はひ弱いがそれは演技でない」ということは正しくないとすれば味気ない"が導かれる
4. 推論1と推論2から、推論3: "その能力開発基本調査は味気ない"が導かれる
5. 仮定2: 以下のように仮定する。その能力開発基本調査は味気なくない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その能力開発基本調査は街らしい"が導かれる
8. 事実4から、推論6: "もし仮にその能力開発基本調査はサバルタン研究であるとしたら四ステージである"が導かれる
9. 事実5から、推論7: "その能力開発基本調査はサバルタン研究だ"が導かれる
10. 推論6と推論7から、推論8: "その能力開発基本調査は四ステージである"が導かれる
11. 推論5と推論8から、推論9: "その能力開発基本調査は街らしいし加えて四ステージだ"が導かれる
12. 推論9と事実2から、推論10: "あの機能は睦み合わない"が導かれる
13. [仮定2]と推論10から、仮説が導かれる

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