「「その暗中模索は被爆しないがしかし外し易い」ということは事実と異なる」ということは本当である
fact1: 「この甘子は上昇中でない」ということは事実だとするとその暗中模索は被爆しないけれど外し易い fact2: もしもあの酸素ガスは販売面であるとすると「その暗中模索は被爆しないけれど外し易い」ということは成り立たない fact3: 「この甘子は上昇中でない」ということは嘘だ fact4: その暗中模索は絶える fact5: あの連続通話時間は販売面である fact6: もしもこの住宅用家屋が販売面ならば絶える fact7: 「その同年齢は格付けだということはなくて立ち返らない」ということは偽だ fact8: もし仮にあの酸素ガスは自負するということはないとすると「それは令旨であるしさらに掻い潜らない」ということは誤りである fact9: もし仮に「この住宅用家屋は三億六千万双をする」ということは正しいならばこの甘子は上昇中でないけど合わせ辛い fact10: もし仮になにがしかのものは令旨であるということはないならば販売面でない fact11: もし「この甘子は三億六千万双をする」ということは事実だとすればあの住宅用家屋は絶える fact12: 「その暗中模索は被爆するしその上外し易い」ということは成り立たない fact13: もしもこの住宅用家屋が絶えるとするとあの酸素ガスは販売面だ fact14: 仮に「この甘子は外し易い」ということは事実だとしたらそれは三億六千万双をする fact15: 「その暗中模索は外し易い」ということは確かならそれは絶える fact16: 合わせ辛い物は三億六千万双をする fact17: もし仮にあの酸素ガスは販売面であるとすれば「その暗中模索は被爆するしさらにそれは外し易い」ということは事実と異なる fact18: もしも「何かは令旨であるがしかし掻い潜らない」ということは成り立たないならば「令旨でない」ということは事実だ fact19: 仮にこの甘子は上昇中であるならば合わせ辛い
fact19 & fact3 -> int1: この甘子は合わせ辛い; fact16 -> int2: もしもこの甘子が合わせ辛いならそれは三億六千万双をする; int1 & int2 -> int3: この甘子は三億六千万双をする; int3 & fact11 -> int4: この住宅用家屋は絶える; int4 & fact13 -> int5: あの酸素ガスは販売面である; int5 & fact2 -> hypothesis;
その暗中模索は被爆しない一方で外し易い
fact20 -> int6: あの酸素ガスは令旨でないとするとそれは販売面でない; fact24 -> int7: 仮に「あの酸素ガスは令旨だけれどそれは掻い潜るということはない」ということは正しくないとしたらそれは令旨でない; fact21 -> int8: 「「格付けであるということはないしまた立ち返らない」ということは事実でない」物はある;
$facts$ = fact1: 「この甘子は上昇中でない」ということは事実だとするとその暗中模索は被爆しないけれど外し易い fact2: もしもあの酸素ガスは販売面であるとすると「その暗中模索は被爆しないけれど外し易い」ということは成り立たない fact3: 「この甘子は上昇中でない」ということは嘘だ fact4: その暗中模索は絶える fact5: あの連続通話時間は販売面である fact6: もしもこの住宅用家屋が販売面ならば絶える fact7: 「その同年齢は格付けだということはなくて立ち返らない」ということは偽だ fact8: もし仮にあの酸素ガスは自負するということはないとすると「それは令旨であるしさらに掻い潜らない」ということは誤りである fact9: もし仮に「この住宅用家屋は三億六千万双をする」ということは正しいならばこの甘子は上昇中でないけど合わせ辛い fact10: もし仮になにがしかのものは令旨であるということはないならば販売面でない fact11: もし「この甘子は三億六千万双をする」ということは事実だとすればあの住宅用家屋は絶える fact12: 「その暗中模索は被爆するしその上外し易い」ということは成り立たない fact13: もしもこの住宅用家屋が絶えるとするとあの酸素ガスは販売面だ fact14: 仮に「この甘子は外し易い」ということは事実だとしたらそれは三億六千万双をする fact15: 「その暗中模索は外し易い」ということは確かならそれは絶える fact16: 合わせ辛い物は三億六千万双をする fact17: もし仮にあの酸素ガスは販売面であるとすれば「その暗中模索は被爆するしさらにそれは外し易い」ということは事実と異なる fact18: もしも「何かは令旨であるがしかし掻い潜らない」ということは成り立たないならば「令旨でない」ということは事実だ fact19: 仮にこの甘子は上昇中であるならば合わせ辛い ; $hypothesis$ = 「「その暗中模索は被爆しないがしかし外し易い」ということは事実と異なる」ということは本当である ; $proof$ = 
fact19 & fact3 -> int1: この甘子は合わせ辛い; fact16 -> int2: もしもこの甘子が合わせ辛いならそれは三億六千万双をする; int1 & int2 -> int3: この甘子は三億六千万双をする; int3 & fact11 -> int4: この住宅用家屋は絶える; int4 & fact13 -> int5: あの酸素ガスは販売面である; int5 & fact2 -> hypothesis; __PROVED__
事実1: 「この甘子は上昇中でない」ということは事実だとするとその暗中模索は被爆しないけれど外し易い
事実2: もしもあの酸素ガスは販売面であるとすると「その暗中模索は被爆しないけれど外し易い」ということは成り立たない
事実3: 「この甘子は上昇中でない」ということは嘘だ
事実4: その暗中模索は絶える
事実5: あの連続通話時間は販売面である
事実6: もしもこの住宅用家屋が販売面ならば絶える
事実7: 「その同年齢は格付けだということはなくて立ち返らない」ということは偽だ
事実8: もし仮にあの酸素ガスは自負するということはないとすると「それは令旨であるしさらに掻い潜らない」ということは誤りである
事実9: もし仮に「この住宅用家屋は三億六千万双をする」ということは正しいならばこの甘子は上昇中でないけど合わせ辛い
事実10: もし仮になにがしかのものは令旨であるということはないならば販売面でない
事実11: もし「この甘子は三億六千万双をする」ということは事実だとすればあの住宅用家屋は絶える
事実12: 「その暗中模索は被爆するしその上外し易い」ということは成り立たない
事実13: もしもこの住宅用家屋が絶えるとするとあの酸素ガスは販売面だ
事実14: 仮に「この甘子は外し易い」ということは事実だとしたらそれは三億六千万双をする
事実15: 「その暗中模索は外し易い」ということは確かならそれは絶える
事実16: 合わせ辛い物は三億六千万双をする
事実17: もし仮にあの酸素ガスは販売面であるとすれば「その暗中模索は被爆するしさらにそれは外し易い」ということは事実と異なる
事実18: もしも「何かは令旨であるがしかし掻い潜らない」ということは成り立たないならば「令旨でない」ということは事実だ
事実19: 仮にこの甘子は上昇中であるならば合わせ辛い

仮説: 「「その暗中模索は被爆しないがしかし外し易い」ということは事実と異なる」ということは本当である
1. 事実19と事実3から、推論1: "この甘子は合わせ辛い"が導かれる
2. 事実16から、推論2: "もしもこの甘子が合わせ辛いならそれは三億六千万双をする"が導かれる
3. 推論1と推論2から、推論3: "この甘子は三億六千万双をする"が導かれる
4. 推論3と事実11から、推論4: "この住宅用家屋は絶える"が導かれる
5. 推論4と事実13から、推論5: "あの酸素ガスは販売面である"が導かれる
6. 推論5と事実2から、仮説が導かれる

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