この衛生状態は寄せ木作りだ
fact1: あの武勇伝は寄せ木作りだ fact2: 仮にあの地蔵峠が引き易いならそれは出し難い fact3: この衛生状態は引き易い fact4: もしもあの武勇伝が現代史ならば滅びる fact5: もしも「この衛生状態は女々しい」ということは事実であるならそれは拡幅だ fact6: もし仮にあの武勇伝がしつこいならばそれは現代史だ fact7: 仮にあるものが浅いとしたらそれはひ弱い fact8: あの武勇伝は巻き起こらない一方で拡幅である fact9: もしあの武勇伝は浅くないとしたら「この衛生状態は滅びないけど寄せ木作りだ」ということは成り立たない fact10: 仮にこの衛生状態が寄せ木作りだけれど面白おかしくないならば滅びない fact11: この衛生状態が浅くないならあの武勇伝は引き易くない一方で重苦しい fact12: あの武勇伝はしつこい fact13: 仮にこの衛生状態が滅びるということはないならばそれは浅いかあるいはひ弱い fact14: もしもこの衛生状態がひ弱いとすると面白おかしい fact15: もしこの衛生状態が面白おかしいとしたら寄せ木作りである fact16: 「何らかのものは引き易くないけど重苦しい」ということは確かだとしたら滅びない fact17: その核戦争後はしつこくないけれど探し始めるとすれば歓迎会でない
void -> assump1: 以下のように仮定する。この衛生状態は浅くない; fact11 & assump1 -> int1: あの武勇伝は引き易くないけれど重苦しい; fact16 -> int2: 仮にあの武勇伝が引き易くない一方で重苦しいなら「それは滅びない」ということは事実である; int1 & int2 -> int3: あの武勇伝は滅びない; fact6 & fact12 -> int4: 「あの武勇伝は現代史だ」ということは正しい; int4 & fact4 -> int5: あの武勇伝は滅びる; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この衛生状態は浅い; fact7 -> int8: もし「この衛生状態は浅い」ということは嘘でないとしたらそれはひ弱い; int7 & int8 -> int9: この衛生状態はひ弱い; int9 & fact14 -> int10: この衛生状態は面白おかしい; int10 & fact15 -> hypothesis;
その南太平洋方面は浅い
$facts$ = fact1: あの武勇伝は寄せ木作りだ fact2: 仮にあの地蔵峠が引き易いならそれは出し難い fact3: この衛生状態は引き易い fact4: もしもあの武勇伝が現代史ならば滅びる fact5: もしも「この衛生状態は女々しい」ということは事実であるならそれは拡幅だ fact6: もし仮にあの武勇伝がしつこいならばそれは現代史だ fact7: 仮にあるものが浅いとしたらそれはひ弱い fact8: あの武勇伝は巻き起こらない一方で拡幅である fact9: もしあの武勇伝は浅くないとしたら「この衛生状態は滅びないけど寄せ木作りだ」ということは成り立たない fact10: 仮にこの衛生状態が寄せ木作りだけれど面白おかしくないならば滅びない fact11: この衛生状態が浅くないならあの武勇伝は引き易くない一方で重苦しい fact12: あの武勇伝はしつこい fact13: 仮にこの衛生状態が滅びるということはないならばそれは浅いかあるいはひ弱い fact14: もしもこの衛生状態がひ弱いとすると面白おかしい fact15: もしこの衛生状態が面白おかしいとしたら寄せ木作りである fact16: 「何らかのものは引き易くないけど重苦しい」ということは確かだとしたら滅びない fact17: その核戦争後はしつこくないけれど探し始めるとすれば歓迎会でない ; $hypothesis$ = この衛生状態は寄せ木作りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この衛生状態は浅くない; fact11 & assump1 -> int1: あの武勇伝は引き易くないけれど重苦しい; fact16 -> int2: 仮にあの武勇伝が引き易くない一方で重苦しいなら「それは滅びない」ということは事実である; int1 & int2 -> int3: あの武勇伝は滅びない; fact6 & fact12 -> int4: 「あの武勇伝は現代史だ」ということは正しい; int4 & fact4 -> int5: あの武勇伝は滅びる; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この衛生状態は浅い; fact7 -> int8: もし「この衛生状態は浅い」ということは嘘でないとしたらそれはひ弱い; int7 & int8 -> int9: この衛生状態はひ弱い; int9 & fact14 -> int10: この衛生状態は面白おかしい; int10 & fact15 -> hypothesis; __PROVED__
事実1: あの武勇伝は寄せ木作りだ
事実2: 仮にあの地蔵峠が引き易いならそれは出し難い
事実3: この衛生状態は引き易い
事実4: もしもあの武勇伝が現代史ならば滅びる
事実5: もしも「この衛生状態は女々しい」ということは事実であるならそれは拡幅だ
事実6: もし仮にあの武勇伝がしつこいならばそれは現代史だ
事実7: 仮にあるものが浅いとしたらそれはひ弱い
事実8: あの武勇伝は巻き起こらない一方で拡幅である
事実9: もしあの武勇伝は浅くないとしたら「この衛生状態は滅びないけど寄せ木作りだ」ということは成り立たない
事実10: 仮にこの衛生状態が寄せ木作りだけれど面白おかしくないならば滅びない
事実11: この衛生状態が浅くないならあの武勇伝は引き易くない一方で重苦しい
事実12: あの武勇伝はしつこい
事実13: 仮にこの衛生状態が滅びるということはないならばそれは浅いかあるいはひ弱い
事実14: もしもこの衛生状態がひ弱いとすると面白おかしい
事実15: もしこの衛生状態が面白おかしいとしたら寄せ木作りである
事実16: 「何らかのものは引き易くないけど重苦しい」ということは確かだとしたら滅びない
事実17: その核戦争後はしつこくないけれど探し始めるとすれば歓迎会でない

仮説: この衛生状態は寄せ木作りだ
1. 仮定1: 以下のように仮定する。この衛生状態は浅くない
2. 事実11と仮定1から、推論1: "あの武勇伝は引き易くないけれど重苦しい"が導かれる
3. 事実16から、推論2: "仮にあの武勇伝が引き易くない一方で重苦しいなら「それは滅びない」ということは事実である"が導かれる
4. 推論1と推論2から、推論3: "あの武勇伝は滅びない"が導かれる
5. 事実6と事実12から、推論4: "「あの武勇伝は現代史だ」ということは正しい"が導かれる
6. 推論4と事実4から、推論5: "あの武勇伝は滅びる"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この衛生状態は浅い"が導かれる
9. 事実7から、推論8: "もし「この衛生状態は浅い」ということは嘘でないとしたらそれはひ弱い"が導かれる
10. 推論7と推論8から、推論9: "この衛生状態はひ弱い"が導かれる
11. 推論9と事実14から、推論10: "この衛生状態は面白おかしい"が導かれる
12. 推論10と事実15から、仮説が導かれる

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