あのデジＱサーキットは別世界である
fact1: 筆者自身は平均収入だ fact2: もしもあるものが油彩だとすると別世界である fact3: 「生成機構は育児ノイローゼだ」ということは本当だ fact4: もし仮にこの当裁判所が応ずとすればこの加湿は検出出来る fact5: なにかは位数だということはないならば「寒くてまたそれは上梓する」ということは確かでない fact6: 「もし仮にその横振動が吸収され易いならばその加工費レートはちっちゃいけれど吸収され易くない」ということは正しい fact7: もし仮に集まり易くない物が吸収され易いということはないとしたらそれは別世界でない fact8: 寒くないものはウイグル人であるし巨大化する fact9: もし仮にちっちゃい物で吸収され易くない物があるならあのデジＱサーキットは疎ましい fact10: もし「何らかの物は寒くてかつ上梓する」ということは嘘なら寒くない fact11: その横振動は集まり易いし吸収され易い fact12: もしも「とある物は大見出しであるがそれは接見しない」ということは事実と異なれば共用しない fact13: 仮にある物は認定しないか位数でないかあるいは両方ともであるなら位数だということはない fact14: もしその加工費レートが共用しないならばあの横振動は油彩でないがしかし疎ましい fact15: その加工費レートは吸収され易くない fact16: もしとある物が疎ましいならそれは油彩だ fact17: 「その横振動は集まり易い」ということは間違いであるということはない fact18: もしもその横振動が吸収され易いならばあの加工費レートは吸収され易いということはない fact19: 「ちっちゃい物は集まり易くなくて吸収され易いということはない」ということは事実だ fact20: その横振動が油彩でないけど疎ましいとすればあのデジＱサーキットはちっちゃい fact21: もし仮にこの加湿が検出出来るとすればその加工費レートは認定しないか位数でない fact22: この当裁判所は応ずか検出出来るかまたは両方である fact23: 「とある物は巨大化する」ということは成り立てば「「それは大見出しであるししかもそれは接見しない」ということは真実である」ということは事実と異なる
fact11 -> int1: その横振動は吸収され易い; int1 & fact6 -> int2: その加工費レートはちっちゃいが吸収され易くない; int2 -> int3: なんらかの物はちっちゃいけど吸収され易くない; int3 & fact9 -> int4: あのデジＱサーキットは疎ましい; fact16 -> int5: 仮にあのデジＱサーキットが疎ましいとしたら油彩だ; int4 & int5 -> int6: あのデジＱサーキットは油彩だ; fact2 -> int7: もしもあのデジＱサーキットは油彩であるとすると別世界だ; int6 & int7 -> hypothesis;
あのデジＱサーキットは別世界であるということはない
fact31 -> int8: もし仮にあのデジＱサーキットが集まり易くなくてそれにそれが吸収され易くないとすれば別世界でない; fact25 -> int9: 仮にあのデジＱサーキットがちっちゃいならそれは集まり易くないししかも吸収され易いということはない; fact26 -> int10: もし仮に「その加工費レートは大見出しであるけど接見しない」ということは事実と異なるならそれは共用しない; fact33 -> int11: もしもその加工費レートは巨大化するなら「大見出しだけれど接見しない」ということは事実と異なる; fact36 -> int12: もしその加工費レートが寒くないとするとウイグル人であるし更に巨大化する; fact24 -> int13: もし「その加工費レートが寒いしその上それは上梓する」ということは事実と異なるとしたらそれは寒くない; fact29 -> int14: 仮にその加工費レートは位数でないとしたら「寒くて更に上梓する」ということは成り立つということはない; fact28 -> int15: 「仮にその加工費レートが認定しないか位数でないとするとその加工費レートは位数でない」ということは偽でない;
$facts$ = fact1: 筆者自身は平均収入だ fact2: もしもあるものが油彩だとすると別世界である fact3: 「生成機構は育児ノイローゼだ」ということは本当だ fact4: もし仮にこの当裁判所が応ずとすればこの加湿は検出出来る fact5: なにかは位数だということはないならば「寒くてまたそれは上梓する」ということは確かでない fact6: 「もし仮にその横振動が吸収され易いならばその加工費レートはちっちゃいけれど吸収され易くない」ということは正しい fact7: もし仮に集まり易くない物が吸収され易いということはないとしたらそれは別世界でない fact8: 寒くないものはウイグル人であるし巨大化する fact9: もし仮にちっちゃい物で吸収され易くない物があるならあのデジＱサーキットは疎ましい fact10: もし「何らかの物は寒くてかつ上梓する」ということは嘘なら寒くない fact11: その横振動は集まり易いし吸収され易い fact12: もしも「とある物は大見出しであるがそれは接見しない」ということは事実と異なれば共用しない fact13: 仮にある物は認定しないか位数でないかあるいは両方ともであるなら位数だということはない fact14: もしその加工費レートが共用しないならばあの横振動は油彩でないがしかし疎ましい fact15: その加工費レートは吸収され易くない fact16: もしとある物が疎ましいならそれは油彩だ fact17: 「その横振動は集まり易い」ということは間違いであるということはない fact18: もしもその横振動が吸収され易いならばあの加工費レートは吸収され易いということはない fact19: 「ちっちゃい物は集まり易くなくて吸収され易いということはない」ということは事実だ fact20: その横振動が油彩でないけど疎ましいとすればあのデジＱサーキットはちっちゃい fact21: もし仮にこの加湿が検出出来るとすればその加工費レートは認定しないか位数でない fact22: この当裁判所は応ずか検出出来るかまたは両方である fact23: 「とある物は巨大化する」ということは成り立てば「「それは大見出しであるししかもそれは接見しない」ということは真実である」ということは事実と異なる ; $hypothesis$ = あのデジＱサーキットは別世界である ; $proof$ = 
fact11 -> int1: その横振動は吸収され易い; int1 & fact6 -> int2: その加工費レートはちっちゃいが吸収され易くない; int2 -> int3: なんらかの物はちっちゃいけど吸収され易くない; int3 & fact9 -> int4: あのデジＱサーキットは疎ましい; fact16 -> int5: 仮にあのデジＱサーキットが疎ましいとしたら油彩だ; int4 & int5 -> int6: あのデジＱサーキットは油彩だ; fact2 -> int7: もしもあのデジＱサーキットは油彩であるとすると別世界だ; int6 & int7 -> 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: 「とある物は巨大化する」ということは成り立てば「「それは大見出しであるししかもそれは接見しない」ということは真実である」ということは事実と異なる

仮説: あのデジＱサーキットは別世界である
1. 事実11から、推論1: "その横振動は吸収され易い"が導かれる
2. 推論1と事実6から、推論2: "その加工費レートはちっちゃいが吸収され易くない"が導かれる
3. 推論2から、推論3: "なんらかの物はちっちゃいけど吸収され易くない"が導かれる
4. 推論3と事実9から、推論4: "あのデジＱサーキットは疎ましい"が導かれる
5. 事実16から、推論5: "仮にあのデジＱサーキットが疎ましいとしたら油彩だ"が導かれる
6. 推論4と推論5から、推論6: "あのデジＱサーキットは油彩だ"が導かれる
7. 事実2から、推論7: "もしもあのデジＱサーキットは油彩であるとすると別世界だ"が導かれる
8. 推論6と推論7から、仮説が導かれる

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