「もし武装するとすると入れ難い」物はある
fact1: もし仮にあの梅辻家が殲滅するとしたらそれは入れ難い fact2: 「あらゆるものは注文票でかつ刺々しい」ということは確かだ fact3: 仮に「あの梅辻家は甘過ぎる」ということは真実だとすれば「それは多用するしそれに武装する」ということは成り立たない fact4: 「あの梅辻家は殲滅するし加えて課する」ということは事実と異なる fact5: もし仮にあの梅辻家が刺々しくてそれが起爆するとしたら未収金でない fact6: あの梅辻家は武装するとすると「それは殲滅しなくてそれにそれは課する」ということは成り立たない fact7: 全てのものは起爆する fact8: もしなにかは入れ難いということはないならば「それは武装しなくて更にそれは与信管理である」ということは嘘である fact9: もしなにがしかの物が殲滅するとすればそれは入れ難い fact10: もしもあの梅辻家は武装するとすれば「それは殲滅するし加えて課する」ということは成り立たない fact11: 「あるものは殲滅しないが課する」ということは成り立たないならば入れ難い
void -> assump1: 以下のように仮定する。あの梅辻家は武装する; fact6 & assump1 -> int1: 「「あの梅辻家は殲滅するということはないが課する」ということは本当である」ということは成り立たない; fact11 -> int2: 仮に「あの梅辻家は殲滅しないけれど課する」ということは事実と異なれば入れ難い; int1 & int2 -> int3: 「あの梅辻家は入れ難くない」ということは成り立たない; [assump1] & int3 -> int4: 仮にあの梅辻家は武装するとすると「「それは入れ難くない」ということは間違っている」ということは偽でない; int4 -> hypothesis;
「そのマネキン人形は武装するということはない一方で与信管理である」ということは嘘だ
fact14 -> int5: 仮にそのマネキン人形は入れ難くないとすると「武装しないし与信管理である」ということは間違っている; fact12 -> int6: そのニンフ達は注文票であるし刺々しい; int6 -> int7: そのニンフ達は刺々しい; int7 -> int8: 全てのものは刺々しい; int8 -> int9: そのオルレアン型議院内閣制は刺々しい; fact13 -> int10: そのオルレアン型議院内閣制は起爆する; int9 & int10 -> int11: そのオルレアン型議院内閣制は刺々しいしその上起爆する; int11 -> int12: すべては刺々しいしそれは起爆する; int12 -> int13: あの梅辻家は刺々しくてそれにそれは起爆する; int13 & fact15 -> int14: あの梅辻家は未収金でない; int14 -> int15: なんらかの物は未収金でない;
$facts$ = fact1: もし仮にあの梅辻家が殲滅するとしたらそれは入れ難い fact2: 「あらゆるものは注文票でかつ刺々しい」ということは確かだ fact3: 仮に「あの梅辻家は甘過ぎる」ということは真実だとすれば「それは多用するしそれに武装する」ということは成り立たない fact4: 「あの梅辻家は殲滅するし加えて課する」ということは事実と異なる fact5: もし仮にあの梅辻家が刺々しくてそれが起爆するとしたら未収金でない fact6: あの梅辻家は武装するとすると「それは殲滅しなくてそれにそれは課する」ということは成り立たない fact7: 全てのものは起爆する fact8: もしなにかは入れ難いということはないならば「それは武装しなくて更にそれは与信管理である」ということは嘘である fact9: もしなにがしかの物が殲滅するとすればそれは入れ難い fact10: もしもあの梅辻家は武装するとすれば「それは殲滅するし加えて課する」ということは成り立たない fact11: 「あるものは殲滅しないが課する」ということは成り立たないならば入れ難い ; $hypothesis$ = 「もし武装するとすると入れ難い」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの梅辻家は武装する; fact6 & assump1 -> int1: 「「あの梅辻家は殲滅するということはないが課する」ということは本当である」ということは成り立たない; fact11 -> int2: 仮に「あの梅辻家は殲滅しないけれど課する」ということは事実と異なれば入れ難い; int1 & int2 -> int3: 「あの梅辻家は入れ難くない」ということは成り立たない; [assump1] & int3 -> int4: 仮にあの梅辻家は武装するとすると「「それは入れ難くない」ということは間違っている」ということは偽でない; int4 -> hypothesis; __PROVED__
事実1: もし仮にあの梅辻家が殲滅するとしたらそれは入れ難い
事実2: 「あらゆるものは注文票でかつ刺々しい」ということは確かだ
事実3: 仮に「あの梅辻家は甘過ぎる」ということは真実だとすれば「それは多用するしそれに武装する」ということは成り立たない
事実4: 「あの梅辻家は殲滅するし加えて課する」ということは事実と異なる
事実5: もし仮にあの梅辻家が刺々しくてそれが起爆するとしたら未収金でない
事実6: あの梅辻家は武装するとすると「それは殲滅しなくてそれにそれは課する」ということは成り立たない
事実7: 全てのものは起爆する
事実8: もしなにかは入れ難いということはないならば「それは武装しなくて更にそれは与信管理である」ということは嘘である
事実9: もしなにがしかの物が殲滅するとすればそれは入れ難い
事実10: もしもあの梅辻家は武装するとすれば「それは殲滅するし加えて課する」ということは成り立たない
事実11: 「あるものは殲滅しないが課する」ということは成り立たないならば入れ難い

仮説: 「もし武装するとすると入れ難い」物はある
1. 仮定1: 以下のように仮定する。あの梅辻家は武装する
2. 事実6と仮定1から、推論1: "「「あの梅辻家は殲滅するということはないが課する」ということは本当である」ということは成り立たない"が導かれる
3. 事実11から、推論2: "仮に「あの梅辻家は殲滅しないけれど課する」ということは事実と異なれば入れ難い"が導かれる
4. 推論1と推論2から、推論3: "「あの梅辻家は入れ難くない」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、推論4: "仮にあの梅辻家は武装するとすると「「それは入れ難くない」ということは間違っている」ということは偽でない"が導かれる
6. 推論4から、仮説が導かれる

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