このＷＭＳは犇めき合わない
fact1: 二フレーム目は御守る fact2: 仮になにがしかのものが御守るならそれは犇めき合う fact3: 捗々しいということはないものが妨げないならば共同処理しない fact4: 仮にあの五軒が言い辛くないとしたら重ね合わせるしそれにそれは折れる fact5: 仮にあの五軒が御守らないならこの彼形は二フレーム目である fact6: もし仮にその中屋敷が捗々しいとすればあのＷＭＳは犇めき合わない fact7: もしもこの彼形が二フレーム目であるとすればその百万人は通年漁獲する fact8: もしも「この刑法犯はびら配りでないしさらに差し招かない」ということは事実でないとしたらあの五軒は御守らない fact9: あの五軒は言い辛くない fact10: それはびら配りでなくてそれは差し招くということはないというものはない fact11: もしなにかは通年漁獲するとすると各部位だ fact12: それはびら配りでなくてその上差し招くというものはない fact13: 仮にあの五軒は折れるなら「捗々しくないしかつ妨げない」ということは事実である fact14: もし仮にとある物が通年漁獲するなら二フレーム目だ fact15: もしなんらかのものは各部位なら「共同処理しない」ということは成り立つ fact16: もしもその百万人が共同処理しないならばその中屋敷は捗々しい fact17: もし仮に「その百万人は犇めき合うということはなくてそれに差し招かない」ということは成り立たないとしたらこの刑法犯は共同処理するということはない fact18: もし仮になんらかのものは各部位であるとすれば「通年漁獲する」ということは真実である
fact10 -> int1: 「この刑法犯はびら配りでなくてかつ差し招かない」ということは間違いだ; int1 & fact8 -> int2: あの五軒は御守らない; int2 & fact5 -> int3: この彼形は二フレーム目である; int3 & fact7 -> int4: 「その百万人は通年漁獲する」ということは正しい; fact11 -> int5: 仮に「その百万人は通年漁獲する」ということは真実であるとすると「各部位である」ということは確かだ; int4 & int5 -> int6: その百万人は各部位である; fact15 -> int7: もしも「その百万人は各部位である」ということは事実ならそれは共同処理するということはない; int6 & int7 -> int8: その百万人は共同処理しない; int8 & fact16 -> int9: その中屋敷は捗々しい; int9 & fact6 -> hypothesis;
このＷＭＳは犇めき合う
fact21 -> int10: 「このＷＭＳは御守る」ということは確かであるとするとそれは犇めき合う; fact22 -> int11: もし仮にこのＷＭＳが二フレーム目ならばそれは御守る; fact19 -> int12: もし仮にこのＷＭＳが通年漁獲するとすればそれは二フレーム目である; fact26 -> int13: もし仮に「このＷＭＳは各部位だ」ということは確かだとすれば通年漁獲する; fact23 -> int14: 仮にあの五軒が捗々しいということはないしその上妨げないとすると共同処理しない; fact24 & fact20 -> int15: 「あの五軒は重ね合わせるししかも折れる」ということは確かだ; int15 -> int16: あの五軒は折れる; fact25 & int16 -> int17: あの五軒は捗々しいということはなくて加えてそれは妨げない; int14 & int17 -> int18: あの五軒は共同処理しない; int18 -> int19: 「共同処理しない」ものはある;
$facts$ = fact1: 二フレーム目は御守る fact2: 仮になにがしかのものが御守るならそれは犇めき合う fact3: 捗々しいということはないものが妨げないならば共同処理しない fact4: 仮にあの五軒が言い辛くないとしたら重ね合わせるしそれにそれは折れる fact5: 仮にあの五軒が御守らないならこの彼形は二フレーム目である fact6: もし仮にその中屋敷が捗々しいとすればあのＷＭＳは犇めき合わない fact7: もしもこの彼形が二フレーム目であるとすればその百万人は通年漁獲する fact8: もしも「この刑法犯はびら配りでないしさらに差し招かない」ということは事実でないとしたらあの五軒は御守らない fact9: あの五軒は言い辛くない fact10: それはびら配りでなくてそれは差し招くということはないというものはない fact11: もしなにかは通年漁獲するとすると各部位だ fact12: それはびら配りでなくてその上差し招くというものはない fact13: 仮にあの五軒は折れるなら「捗々しくないしかつ妨げない」ということは事実である fact14: もし仮にとある物が通年漁獲するなら二フレーム目だ fact15: もしなんらかのものは各部位なら「共同処理しない」ということは成り立つ fact16: もしもその百万人が共同処理しないならばその中屋敷は捗々しい fact17: もし仮に「その百万人は犇めき合うということはなくてそれに差し招かない」ということは成り立たないとしたらこの刑法犯は共同処理するということはない fact18: もし仮になんらかのものは各部位であるとすれば「通年漁獲する」ということは真実である ; $hypothesis$ = このＷＭＳは犇めき合わない ; $proof$ = 
fact10 -> int1: 「この刑法犯はびら配りでなくてかつ差し招かない」ということは間違いだ; int1 & fact8 -> int2: あの五軒は御守らない; int2 & fact5 -> int3: この彼形は二フレーム目である; int3 & fact7 -> int4: 「その百万人は通年漁獲する」ということは正しい; fact11 -> int5: 仮に「その百万人は通年漁獲する」ということは真実であるとすると「各部位である」ということは確かだ; int4 & int5 -> int6: その百万人は各部位である; fact15 -> int7: もしも「その百万人は各部位である」ということは事実ならそれは共同処理するということはない; int6 & int7 -> int8: その百万人は共同処理しない; int8 & fact16 -> int9: その中屋敷は捗々しい; int9 & fact6 -> hypothesis; __PROVED__
事実1: 二フレーム目は御守る
事実2: 仮になにがしかのものが御守るならそれは犇めき合う
事実3: 捗々しいということはないものが妨げないならば共同処理しない
事実4: 仮にあの五軒が言い辛くないとしたら重ね合わせるしそれにそれは折れる
事実5: 仮にあの五軒が御守らないならこの彼形は二フレーム目である
事実6: もし仮にその中屋敷が捗々しいとすればあのＷＭＳは犇めき合わない
事実7: もしもこの彼形が二フレーム目であるとすればその百万人は通年漁獲する
事実8: もしも「この刑法犯はびら配りでないしさらに差し招かない」ということは事実でないとしたらあの五軒は御守らない
事実9: あの五軒は言い辛くない
事実10: それはびら配りでなくてそれは差し招くということはないというものはない
事実11: もしなにかは通年漁獲するとすると各部位だ
事実12: それはびら配りでなくてその上差し招くというものはない
事実13: 仮にあの五軒は折れるなら「捗々しくないしかつ妨げない」ということは事実である
事実14: もし仮にとある物が通年漁獲するなら二フレーム目だ
事実15: もしなんらかのものは各部位なら「共同処理しない」ということは成り立つ
事実16: もしもその百万人が共同処理しないならばその中屋敷は捗々しい
事実17: もし仮に「その百万人は犇めき合うということはなくてそれに差し招かない」ということは成り立たないとしたらこの刑法犯は共同処理するということはない
事実18: もし仮になんらかのものは各部位であるとすれば「通年漁獲する」ということは真実である

仮説: このＷＭＳは犇めき合わない
1. 事実10から、推論1: "「この刑法犯はびら配りでなくてかつ差し招かない」ということは間違いだ"が導かれる
2. 推論1と事実8から、推論2: "あの五軒は御守らない"が導かれる
3. 推論2と事実5から、推論3: "この彼形は二フレーム目である"が導かれる
4. 推論3と事実7から、推論4: "「その百万人は通年漁獲する」ということは正しい"が導かれる
5. 事実11から、推論5: "仮に「その百万人は通年漁獲する」ということは真実であるとすると「各部位である」ということは確かだ"が導かれる
6. 推論4と推論5から、推論6: "その百万人は各部位である"が導かれる
7. 事実15から、推論7: "もしも「その百万人は各部位である」ということは事実ならそれは共同処理するということはない"が導かれる
8. 推論6と推論7から、推論8: "その百万人は共同処理しない"が導かれる
9. 推論8と事実16から、推論9: "その中屋敷は捗々しい"が導かれる
10. 推論9と事実6から、仮説が導かれる

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