そのスクリーンショットは飲み易い
fact1: このプラスミドが駆け去るかあるいは捗々しいかもしくはどちらもであるなら険しさでない fact2: もし仮にその草の根選挙がさり気無くないならばあの生成ダイナミクスはさり気無いかそれは書かす fact3: もしあるものは駆け去るとしたら「それは御尋ねないし中巻でない」ということは成り立たない fact4: 全ては捗々しくないかもしくはそれは駆け去るかまたは両方だ fact5: 「あのマンションブームは御尋ねるということはない」ということは成り立つ fact6: 「この鷲鼻は御尋ねるということはない」ということは成り立つ fact7: もしこのプラスミドがさり気無いとしたらその草の根選挙は駆け去る fact8: もし仮にあのマンションブームは御尋ねないとすれば「このプラスミドは駆け去る」ということは誤りでない fact9: もしもその生成ダイナミクスがさり気無いならばあのスクリーンショットは中巻である fact10: もしもなにかは捗々しいということはないかそれが駆け去るか両方であるとしたらあのマンションブームは駆け去る fact11: もし仮にこのプラスミドは険しさだということはないならば「その草の根選挙はさり気無いということはない」ということは正しい fact12: もしも「その生成ダイナミクスは書かす」ということは正しいとすればそのスクリーンショットは中巻である fact13: 中巻は飲み易い fact14: もしもその生成ダイナミクスは捗々しいならば「このプラスミドはさり気無い」ということは正しい
fact8 & fact5 -> int1: このプラスミドは駆け去る; int1 -> int2: このプラスミドは駆け去るかそれは捗々しい; int2 & fact1 -> int3: このプラスミドは険しさでない; int3 & fact11 -> int4: その草の根選挙はさり気無いということはない; int4 & fact2 -> int5: その生成ダイナミクスはさり気無いかあるいは書かす; int5 & fact9 & fact12 -> int6: そのスクリーンショットは中巻だ; fact13 -> int7: もしそのスクリーンショットは中巻であるとしたらそれは飲み易い; int6 & int7 -> hypothesis;
この行道は中巻であるかもしくは取り囲むか両方ともだ
fact17 -> int8: 仮にあのマンションブームは駆け去るとしたら「御尋ねるということはないしさらにそれは中巻でない」ということは間違っている; fact15 -> int9: このプラスミドは捗々しいということはないかあるいは駆け去るかあるいは両方である; int9 -> int10: ある物は捗々しいということはないか駆け去る; int10 & fact16 -> int11: あのマンションブームは駆け去る; int8 & int11 -> int12: 「あのマンションブームは御尋ねないしさらに中巻でない」ということは偽だ; int12 -> int13: 「「御尋ねなくて中巻でない」ということは偽な」物はある;
$facts$ = fact1: このプラスミドが駆け去るかあるいは捗々しいかもしくはどちらもであるなら険しさでない fact2: もし仮にその草の根選挙がさり気無くないならばあの生成ダイナミクスはさり気無いかそれは書かす fact3: もしあるものは駆け去るとしたら「それは御尋ねないし中巻でない」ということは成り立たない fact4: 全ては捗々しくないかもしくはそれは駆け去るかまたは両方だ fact5: 「あのマンションブームは御尋ねるということはない」ということは成り立つ fact6: 「この鷲鼻は御尋ねるということはない」ということは成り立つ fact7: もしこのプラスミドがさり気無いとしたらその草の根選挙は駆け去る fact8: もし仮にあのマンションブームは御尋ねないとすれば「このプラスミドは駆け去る」ということは誤りでない fact9: もしもその生成ダイナミクスがさり気無いならばあのスクリーンショットは中巻である fact10: もしもなにかは捗々しいということはないかそれが駆け去るか両方であるとしたらあのマンションブームは駆け去る fact11: もし仮にこのプラスミドは険しさだということはないならば「その草の根選挙はさり気無いということはない」ということは正しい fact12: もしも「その生成ダイナミクスは書かす」ということは正しいとすればそのスクリーンショットは中巻である fact13: 中巻は飲み易い fact14: もしもその生成ダイナミクスは捗々しいならば「このプラスミドはさり気無い」ということは正しい ; $hypothesis$ = そのスクリーンショットは飲み易い ; $proof$ = 
fact8 & fact5 -> int1: このプラスミドは駆け去る; int1 -> int2: このプラスミドは駆け去るかそれは捗々しい; int2 & fact1 -> int3: このプラスミドは険しさでない; int3 & fact11 -> int4: その草の根選挙はさり気無いということはない; int4 & fact2 -> int5: その生成ダイナミクスはさり気無いかあるいは書かす; int5 & fact9 & fact12 -> int6: そのスクリーンショットは中巻だ; fact13 -> int7: もしそのスクリーンショットは中巻であるとしたらそれは飲み易い; int6 & int7 -> hypothesis; __PROVED__
事実1: このプラスミドが駆け去るかあるいは捗々しいかもしくはどちらもであるなら険しさでない
事実2: もし仮にその草の根選挙がさり気無くないならばあの生成ダイナミクスはさり気無いかそれは書かす
事実3: もしあるものは駆け去るとしたら「それは御尋ねないし中巻でない」ということは成り立たない
事実4: 全ては捗々しくないかもしくはそれは駆け去るかまたは両方だ
事実5: 「あのマンションブームは御尋ねるということはない」ということは成り立つ
事実6: 「この鷲鼻は御尋ねるということはない」ということは成り立つ
事実7: もしこのプラスミドがさり気無いとしたらその草の根選挙は駆け去る
事実8: もし仮にあのマンションブームは御尋ねないとすれば「このプラスミドは駆け去る」ということは誤りでない
事実9: もしもその生成ダイナミクスがさり気無いならばあのスクリーンショットは中巻である
事実10: もしもなにかは捗々しいということはないかそれが駆け去るか両方であるとしたらあのマンションブームは駆け去る
事実11: もし仮にこのプラスミドは険しさだということはないならば「その草の根選挙はさり気無いということはない」ということは正しい
事実12: もしも「その生成ダイナミクスは書かす」ということは正しいとすればそのスクリーンショットは中巻である
事実13: 中巻は飲み易い
事実14: もしもその生成ダイナミクスは捗々しいならば「このプラスミドはさり気無い」ということは正しい

仮説: そのスクリーンショットは飲み易い
1. 事実8と事実5から、推論1: "このプラスミドは駆け去る"が導かれる
2. 推論1から、推論2: "このプラスミドは駆け去るかそれは捗々しい"が導かれる
3. 推論2と事実1から、推論3: "このプラスミドは険しさでない"が導かれる
4. 推論3と事実11から、推論4: "その草の根選挙はさり気無いということはない"が導かれる
5. 推論4と事実2から、推論5: "その生成ダイナミクスはさり気無いかあるいは書かす"が導かれる
6. 推論5と事実9と事実12から、推論6: "そのスクリーンショットは中巻だ"が導かれる
7. 事実13から、推論7: "もしそのスクリーンショットは中巻であるとしたらそれは飲み易い"が導かれる
8. 推論6と推論7から、仮説が導かれる

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