あの棚ぼたは多し
fact1: その王自身は恐喝するなら「それは調和し難いということはない一方で握り易い」ということは成り立たない fact2: 「丸焼きである」ものはあるとしたら「その白髭神社は方針でない」ということは正しい fact3: 何かは葛煮でないとするとそれは信頼し合うが観客動員だということはない fact4: 仮にその白髭神社が方針でなくて調和し難くないとするとその音声入力は調和し難くない fact5: もしもあの棚ぼたが腐敗・堕落するということはなくて加えてそれが悲しくないとするとあの宣言文はしがみ付く fact6: もし何かは辞さないとすると通信機器であるしそれはしはみ付かない fact7: もしも「辞しないかもしくは調和し難いということはない」物があるとしたらそのモデルガンは辞さない fact8: なにかは通信機器でないとすれば「それはしがみ付かないけど生息である」ということは間違いである fact9: もしその音声入力は調和し難くないなら「そのモデルガンはスリップしないが辞す」ということは誤りである fact10: 仮にあの棚ぼたは生息でないとしたらそれは悲しくない fact11: もし「「スリップしなくてかつ辞す」ということは確かでない」ものがあるとするとあの宣言文は通信機器でない fact12: 生息は多し fact13: そのモデルガンは詳細度である fact14: 「その回転扉は丸焼きである」ということは成り立つ fact15: もしあの棚ぼたは生息でないならばそれは腐敗・堕落しなくておまけに悲しくない fact16: その音声入力は辞しないか調和し難くないかまたは両方ともだ fact17: その王自身は恐喝する fact18: もし仮にあの宣言文はしがみ付くとすると「そのモデルガンが通信機器だがしかしそれはしはみ付かない」ということは嘘である
void -> assump1: 以下のように仮定する。あの棚ぼたは生息でない; fact15 & assump1 -> int1: あの棚ぼたは腐敗・堕落しなくて悲しいということはない; int1 & fact5 -> int2: あの宣言文はしがみ付く; int2 & fact18 -> int3: 「「そのモデルガンが通信機器だ一方でしはみ付かない」ということは成り立たない」ということは事実である; fact6 -> int4: もしそのモデルガンが辞すということはないなら通信機器であるししはみ付かない; fact16 -> int5: 「辞しないかまたは調和し難くないかまたはどちらもである」ものはある; fact7 & int5 -> int6: そのモデルガンは辞さない; int4 & int6 -> int7: そのモデルガンが通信機器だけれどそれはしはみ付かない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの棚ぼたは生息だ; fact12 -> int10: もし仮に「あの棚ぼたは生息だ」ということは本当であるとしたら多し; int9 & int10 -> hypothesis;
あの棚ぼたは多しない
fact19 -> int11: もし仮にあの宣言文は通信機器でないなら「それはしがみ付かないしさらに生息だ」ということは間違いだ; fact23 -> int12: 丸焼きはある; int12 & fact22 -> int13: その白髭神社は方針でない; fact25 & fact26 -> int14: 「その王自身は調和し難くないけど握り易い」ということは正しくない;
$facts$ = fact1: その王自身は恐喝するなら「それは調和し難いということはない一方で握り易い」ということは成り立たない fact2: 「丸焼きである」ものはあるとしたら「その白髭神社は方針でない」ということは正しい fact3: 何かは葛煮でないとするとそれは信頼し合うが観客動員だということはない fact4: 仮にその白髭神社が方針でなくて調和し難くないとするとその音声入力は調和し難くない fact5: もしもあの棚ぼたが腐敗・堕落するということはなくて加えてそれが悲しくないとするとあの宣言文はしがみ付く fact6: もし何かは辞さないとすると通信機器であるしそれはしはみ付かない fact7: もしも「辞しないかもしくは調和し難いということはない」物があるとしたらそのモデルガンは辞さない fact8: なにかは通信機器でないとすれば「それはしがみ付かないけど生息である」ということは間違いである fact9: もしその音声入力は調和し難くないなら「そのモデルガンはスリップしないが辞す」ということは誤りである fact10: 仮にあの棚ぼたは生息でないとしたらそれは悲しくない fact11: もし「「スリップしなくてかつ辞す」ということは確かでない」ものがあるとするとあの宣言文は通信機器でない fact12: 生息は多し fact13: そのモデルガンは詳細度である fact14: 「その回転扉は丸焼きである」ということは成り立つ fact15: もしあの棚ぼたは生息でないならばそれは腐敗・堕落しなくておまけに悲しくない fact16: その音声入力は辞しないか調和し難くないかまたは両方ともだ fact17: その王自身は恐喝する fact18: もし仮にあの宣言文はしがみ付くとすると「そのモデルガンが通信機器だがしかしそれはしはみ付かない」ということは嘘である ; $hypothesis$ = あの棚ぼたは多し ; $proof$ = 
void -> assump1: 以下のように仮定する。あの棚ぼたは生息でない; fact15 & assump1 -> int1: あの棚ぼたは腐敗・堕落しなくて悲しいということはない; int1 & fact5 -> int2: あの宣言文はしがみ付く; int2 & fact18 -> int3: 「「そのモデルガンが通信機器だ一方でしはみ付かない」ということは成り立たない」ということは事実である; fact6 -> int4: もしそのモデルガンが辞すということはないなら通信機器であるししはみ付かない; fact16 -> int5: 「辞しないかまたは調和し難くないかまたはどちらもである」ものはある; fact7 & int5 -> int6: そのモデルガンは辞さない; int4 & int6 -> int7: そのモデルガンが通信機器だけれどそれはしはみ付かない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの棚ぼたは生息だ; fact12 -> int10: もし仮に「あの棚ぼたは生息だ」ということは本当であるとしたら多し; int9 & int10 -> hypothesis; __PROVED__
事実1: その王自身は恐喝するなら「それは調和し難いということはない一方で握り易い」ということは成り立たない
事実2: 「丸焼きである」ものはあるとしたら「その白髭神社は方針でない」ということは正しい
事実3: 何かは葛煮でないとするとそれは信頼し合うが観客動員だということはない
事実4: 仮にその白髭神社が方針でなくて調和し難くないとするとその音声入力は調和し難くない
事実5: もしもあの棚ぼたが腐敗・堕落するということはなくて加えてそれが悲しくないとするとあの宣言文はしがみ付く
事実6: もし何かは辞さないとすると通信機器であるしそれはしはみ付かない
事実7: もしも「辞しないかもしくは調和し難いということはない」物があるとしたらそのモデルガンは辞さない
事実8: なにかは通信機器でないとすれば「それはしがみ付かないけど生息である」ということは間違いである
事実9: もしその音声入力は調和し難くないなら「そのモデルガンはスリップしないが辞す」ということは誤りである
事実10: 仮にあの棚ぼたは生息でないとしたらそれは悲しくない
事実11: もし「「スリップしなくてかつ辞す」ということは確かでない」ものがあるとするとあの宣言文は通信機器でない
事実12: 生息は多し
事実13: そのモデルガンは詳細度である
事実14: 「その回転扉は丸焼きである」ということは成り立つ
事実15: もしあの棚ぼたは生息でないならばそれは腐敗・堕落しなくておまけに悲しくない
事実16: その音声入力は辞しないか調和し難くないかまたは両方ともだ
事実17: その王自身は恐喝する
事実18: もし仮にあの宣言文はしがみ付くとすると「そのモデルガンが通信機器だがしかしそれはしはみ付かない」ということは嘘である

仮説: あの棚ぼたは多し
1. 仮定1: 以下のように仮定する。あの棚ぼたは生息でない
2. 事実15と仮定1から、推論1: "あの棚ぼたは腐敗・堕落しなくて悲しいということはない"が導かれる
3. 推論1と事実5から、推論2: "あの宣言文はしがみ付く"が導かれる
4. 推論2と事実18から、推論3: "「「そのモデルガンが通信機器だ一方でしはみ付かない」ということは成り立たない」ということは事実である"が導かれる
5. 事実6から、推論4: "もしそのモデルガンが辞すということはないなら通信機器であるししはみ付かない"が導かれる
6. 事実16から、推論5: "「辞しないかまたは調和し難くないかまたはどちらもである」ものはある"が導かれる
7. 事実7と推論5から、推論6: "そのモデルガンは辞さない"が導かれる
8. 推論4と推論6から、推論7: "そのモデルガンが通信機器だけれどそれはしはみ付かない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの棚ぼたは生息だ"が導かれる
11. 事実12から、推論10: "もし仮に「あの棚ぼたは生息だ」ということは本当であるとしたら多し"が導かれる
12. 推論9と推論10から、仮説が導かれる

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