この消費市場は仰々しいということはない
fact1: このＭＲＳが送り返さないなら子供達同士でない fact2: 仮に「このＭＲＳは押し付けがましいかもしくは載せ替えるかあるいは両方ともである」ということは間違っているならあのビッグバンドは溶け去るということはない fact3: もし仮になにがしかのものは欠落しないけれど引き連れれば仰々しい fact4: もしもとあるものが溶け去らないとするとあの特則は怪しいかまたは伝え難い fact5: もし仮になにがしかのものが溶け去るしまた仰々しいとしたら伝え難くない fact6: もしも何らかのものが押し付けがましくらないとすると伝え難くてそれにそれは載せ替える fact7: もしも「この消費市場が押し付けはましくらない」ということは成り立つなら「載せ替える」ということは本当だ fact8: あの特則は構造変化でしかも可愛い fact9: もし仮にその十七α‐ＯＨＰが怪しくないとしたら空けるしおまけにそれは国際機構である fact10: すべては欠落するし引き連れる fact11: もしもあの特則が怪しいならこの消費市場は溶け去る fact12: もし仮に「子供達同士である」ものがあるならこの消費市場は押し付けがましかない fact13: なんらかの物は子供達同士である fact14: もし仮にあの特則が怪しいとすればこの消費市場は怪しい fact15: すべては欠落する fact16: 「押し付けがましくらないものは載せ替える」ということは真実である fact17: 「すべての物は請求するししかも答え為さる」ということは真実である fact18: その付帯条件は押し付けがましかない fact19: 「その十七α‐ＯＨＰは欠落する」ということは確かだ fact20: もしも「その十七α‐ＯＨＰは引き連れる」ということは本当だとするとあの特則は怪しい fact21: 「その十七α‐ＯＨＰは載せ替えるということはない」ということは真実である fact22: この消費市場は載せ替える fact23: このＭＲＳは送り返すということはない fact24: 全てが構造変化だし捏ち上げる
fact10 -> int1: その十七α‐ＯＨＰは欠落するし加えて引き連れる; int1 -> int2: 「その十七α‐ＯＨＰは引き連れる」ということは正しい; int2 & fact20 -> int3: 「あの特則は怪しい」ということは確かだ; int3 & fact11 -> int4: この消費市場は溶け去る; void -> assump1: 以下のように仮定する。この消費市場は仰々しい; int4 & assump1 -> int5: この消費市場は溶け去るしまた仰々しい; fact5 -> int6: もし仮にこの消費市場が溶け去るしかつそれが仰々しいとすればそれは伝え難くない; int5 & int6 -> int7: この消費市場は伝え難くない; fact13 & fact12 -> int8: この消費市場は押し付けがましかない; fact6 -> int9: もしもこの消費市場が押し付けがましくらないとしたらそれは伝え難くてかつ載せ替える; int8 & int9 -> int10: この消費市場は伝え難いしまた載せ替える; int10 -> int11: この消費市場は伝え難い; int7 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis;
この消費市場は仰々しい
fact25 -> int13: 仮にこの消費市場は欠落しないがしかし引き連れれば仰々しい; fact30 & fact26 -> int14: 「このＭＲＳは子供達同士であるということはない」ということは確かである;
$facts$ = fact1: このＭＲＳが送り返さないなら子供達同士でない fact2: 仮に「このＭＲＳは押し付けがましいかもしくは載せ替えるかあるいは両方ともである」ということは間違っているならあのビッグバンドは溶け去るということはない fact3: もし仮になにがしかのものは欠落しないけれど引き連れれば仰々しい fact4: もしもとあるものが溶け去らないとするとあの特則は怪しいかまたは伝え難い fact5: もし仮になにがしかのものが溶け去るしまた仰々しいとしたら伝え難くない fact6: もしも何らかのものが押し付けがましくらないとすると伝え難くてそれにそれは載せ替える fact7: もしも「この消費市場が押し付けはましくらない」ということは成り立つなら「載せ替える」ということは本当だ fact8: あの特則は構造変化でしかも可愛い fact9: もし仮にその十七α‐ＯＨＰが怪しくないとしたら空けるしおまけにそれは国際機構である fact10: すべては欠落するし引き連れる fact11: もしもあの特則が怪しいならこの消費市場は溶け去る fact12: もし仮に「子供達同士である」ものがあるならこの消費市場は押し付けがましかない fact13: なんらかの物は子供達同士である fact14: もし仮にあの特則が怪しいとすればこの消費市場は怪しい fact15: すべては欠落する fact16: 「押し付けがましくらないものは載せ替える」ということは真実である fact17: 「すべての物は請求するししかも答え為さる」ということは真実である fact18: その付帯条件は押し付けがましかない fact19: 「その十七α‐ＯＨＰは欠落する」ということは確かだ fact20: もしも「その十七α‐ＯＨＰは引き連れる」ということは本当だとするとあの特則は怪しい fact21: 「その十七α‐ＯＨＰは載せ替えるということはない」ということは真実である fact22: この消費市場は載せ替える fact23: このＭＲＳは送り返すということはない fact24: 全てが構造変化だし捏ち上げる ; $hypothesis$ = この消費市場は仰々しいということはない ; $proof$ = 
fact10 -> int1: その十七α‐ＯＨＰは欠落するし加えて引き連れる; int1 -> int2: 「その十七α‐ＯＨＰは引き連れる」ということは正しい; int2 & fact20 -> int3: 「あの特則は怪しい」ということは確かだ; int3 & fact11 -> int4: この消費市場は溶け去る; void -> assump1: 以下のように仮定する。この消費市場は仰々しい; int4 & assump1 -> int5: この消費市場は溶け去るしまた仰々しい; fact5 -> int6: もし仮にこの消費市場が溶け去るしかつそれが仰々しいとすればそれは伝え難くない; int5 & int6 -> int7: この消費市場は伝え難くない; fact13 & fact12 -> int8: この消費市場は押し付けがましかない; fact6 -> int9: もしもこの消費市場が押し付けがましくらないとしたらそれは伝え難くてかつ載せ替える; int8 & int9 -> int10: この消費市場は伝え難いしまた載せ替える; int10 -> int11: この消費市場は伝え難い; int7 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis; __PROVED__
事実1: このＭＲＳが送り返さないなら子供達同士でない
事実2: 仮に「このＭＲＳは押し付けがましいかもしくは載せ替えるかあるいは両方ともである」ということは間違っているならあのビッグバンドは溶け去るということはない
事実3: もし仮になにがしかのものは欠落しないけれど引き連れれば仰々しい
事実4: もしもとあるものが溶け去らないとするとあの特則は怪しいかまたは伝え難い
事実5: もし仮になにがしかのものが溶け去るしまた仰々しいとしたら伝え難くない
事実6: もしも何らかのものが押し付けがましくらないとすると伝え難くてそれにそれは載せ替える
事実7: もしも「この消費市場が押し付けはましくらない」ということは成り立つなら「載せ替える」ということは本当だ
事実8: あの特則は構造変化でしかも可愛い
事実9: もし仮にその十七α‐ＯＨＰが怪しくないとしたら空けるしおまけにそれは国際機構である
事実10: すべては欠落するし引き連れる
事実11: もしもあの特則が怪しいならこの消費市場は溶け去る
事実12: もし仮に「子供達同士である」ものがあるならこの消費市場は押し付けがましかない
事実13: なんらかの物は子供達同士である
事実14: もし仮にあの特則が怪しいとすればこの消費市場は怪しい
事実15: すべては欠落する
事実16: 「押し付けがましくらないものは載せ替える」ということは真実である
事実17: 「すべての物は請求するししかも答え為さる」ということは真実である
事実18: その付帯条件は押し付けがましかない
事実19: 「その十七α‐ＯＨＰは欠落する」ということは確かだ
事実20: もしも「その十七α‐ＯＨＰは引き連れる」ということは本当だとするとあの特則は怪しい
事実21: 「その十七α‐ＯＨＰは載せ替えるということはない」ということは真実である
事実22: この消費市場は載せ替える
事実23: このＭＲＳは送り返すということはない
事実24: 全てが構造変化だし捏ち上げる

仮説: この消費市場は仰々しいということはない
1. 事実10から、推論1: "その十七α‐ＯＨＰは欠落するし加えて引き連れる"が導かれる
2. 推論1から、推論2: "「その十七α‐ＯＨＰは引き連れる」ということは正しい"が導かれる
3. 推論2と事実20から、推論3: "「あの特則は怪しい」ということは確かだ"が導かれる
4. 推論3と事実11から、推論4: "この消費市場は溶け去る"が導かれる
5. 仮定1: 以下のように仮定する。この消費市場は仰々しい
6. 推論4と仮定1から、推論5: "この消費市場は溶け去るしまた仰々しい"が導かれる
7. 事実5から、推論6: "もし仮にこの消費市場が溶け去るしかつそれが仰々しいとすればそれは伝え難くない"が導かれる
8. 推論5と推論6から、推論7: "この消費市場は伝え難くない"が導かれる
9. 事実13と事実12から、推論8: "この消費市場は押し付けがましかない"が導かれる
10. 事実6から、推論9: "もしもこの消費市場が押し付けがましくらないとしたらそれは伝え難くてかつ載せ替える"が導かれる
11. 推論8と推論9から、推論10: "この消費市場は伝え難いしまた載せ替える"が導かれる
12. 推論10から、推論11: "この消費市場は伝え難い"が導かれる
13. 推論7と推論11から、推論12: "これは矛盾である"が導かれる
14. [仮定1]と推論12から、仮説が導かれる

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