「あの走査直線Ｈは牛乳パックでない」ということは確かである
fact1: 仮に「その神秘性は浄御原令制下でなくてしかもそれはねちっこくない」ということは誤っているならあの心・循環器系合併症は狭い fact2: もし仮に「なにかは再発し易くない一方でアントニオ猪牙である」ということは偽だとすれば再発し易い fact3: 仮に「あの走査直線Ｈは始期であるしさらにアントニオ猪牙である」ということは誤りだとすればそれは牛乳パックでない fact4: 「なにかは引き替えないとしたら「それは始期であるしそれにそれはアントニオ猪牙である」ということは偽である」ということは確かである fact5: その神秘性は再発し易い fact6: その顧問会議は狭いがしかし減殺しない fact7: 仮にその神秘性は牛乳パックでないとすると「それが始期だしさらにそれは再発し易い」ということは成り立つということはない fact8: あるものは狭いし加えて減殺する fact9: もし仮になんらかの物は引き替えないとすると「それは再発し易くない一方でアントニオ猪牙だ」ということは成り立たない fact10: もしあの走査直線Ｈは始期でないとすると牛乳パックだということはない fact11: 「「狭い」ということは真実な」ものはある fact12: もしその神秘性が再発し易くてさらに浄御原令制下であるとすると「あの走査直線Ｈは引き替えない」ということは成り立つ fact13: あの投票金額は牛乳パックでない fact14: その顧問会議は減殺しない fact15: もしあの心・循環器系合併症がねちっこいとすればその神秘性は浄御原令制下である fact16: 仮にこの厳格主義は再発し易いとしたら「その神秘性は浄御原令制下でなくてそれはねちっこいということはない」ということは偽である fact17: 「あの心・循環器系合併症はねちっこいしかつアントニオ猪牙である」ということは成り立たない fact18: 仮に「狭いが減殺しない」ものがあるならあの心・循環器系合併症はねちっこい fact19: 仮にあの心・循環器系合併症が減殺するけど牛乳パックであるということはないとしたらあの走査直線Ｈは牛乳パックだ fact20: 「減殺しない」物はある
fact6 -> int1: 「狭いししかも減殺するということはない」物はある; int1 & fact18 -> int2: あの心・循環器系合併症はねちっこい; int2 & fact15 -> int3: その神秘性は浄御原令制下である; int3 & fact5 -> int4: その神秘性は再発し易くて浄御原令制下だ; int4 & fact12 -> int5: あの走査直線Ｈは引き替えない; fact4 -> int6: 仮にあの走査直線Ｈは引き替えないならば「始期であるし加えてアントニオ猪牙だ」ということは誤りだ; int5 & int6 -> int7: 「あの走査直線Ｈは始期でアントニオ猪牙である」ということは成り立たない; int7 & fact3 -> hypothesis;
あの走査直線Ｈは牛乳パックだ
fact23 -> int8: もし「この厳格主義は再発し易いということはないけどそれはアントニオ猪牙だ」ということは成り立たないとすれば再発し易い; fact24 -> int9: もしこの厳格主義は引き替えないとしたら「再発し易いということはないがアントニオ猪牙だ」ということは嘘である;
$facts$ = fact1: 仮に「その神秘性は浄御原令制下でなくてしかもそれはねちっこくない」ということは誤っているならあの心・循環器系合併症は狭い fact2: もし仮に「なにかは再発し易くない一方でアントニオ猪牙である」ということは偽だとすれば再発し易い fact3: 仮に「あの走査直線Ｈは始期であるしさらにアントニオ猪牙である」ということは誤りだとすればそれは牛乳パックでない fact4: 「なにかは引き替えないとしたら「それは始期であるしそれにそれはアントニオ猪牙である」ということは偽である」ということは確かである fact5: その神秘性は再発し易い fact6: その顧問会議は狭いがしかし減殺しない fact7: 仮にその神秘性は牛乳パックでないとすると「それが始期だしさらにそれは再発し易い」ということは成り立つということはない fact8: あるものは狭いし加えて減殺する fact9: もし仮になんらかの物は引き替えないとすると「それは再発し易くない一方でアントニオ猪牙だ」ということは成り立たない fact10: もしあの走査直線Ｈは始期でないとすると牛乳パックだということはない fact11: 「「狭い」ということは真実な」ものはある fact12: もしその神秘性が再発し易くてさらに浄御原令制下であるとすると「あの走査直線Ｈは引き替えない」ということは成り立つ fact13: あの投票金額は牛乳パックでない fact14: その顧問会議は減殺しない fact15: もしあの心・循環器系合併症がねちっこいとすればその神秘性は浄御原令制下である fact16: 仮にこの厳格主義は再発し易いとしたら「その神秘性は浄御原令制下でなくてそれはねちっこいということはない」ということは偽である fact17: 「あの心・循環器系合併症はねちっこいしかつアントニオ猪牙である」ということは成り立たない fact18: 仮に「狭いが減殺しない」ものがあるならあの心・循環器系合併症はねちっこい fact19: 仮にあの心・循環器系合併症が減殺するけど牛乳パックであるということはないとしたらあの走査直線Ｈは牛乳パックだ fact20: 「減殺しない」物はある ; $hypothesis$ = 「あの走査直線Ｈは牛乳パックでない」ということは確かである ; $proof$ = 
fact6 -> int1: 「狭いししかも減殺するということはない」物はある; int1 & fact18 -> int2: あの心・循環器系合併症はねちっこい; int2 & fact15 -> int3: その神秘性は浄御原令制下である; int3 & fact5 -> int4: その神秘性は再発し易くて浄御原令制下だ; int4 & fact12 -> int5: あの走査直線Ｈは引き替えない; fact4 -> int6: 仮にあの走査直線Ｈは引き替えないならば「始期であるし加えてアントニオ猪牙だ」ということは誤りだ; int5 & int6 -> int7: 「あの走査直線Ｈは始期でアントニオ猪牙である」ということは成り立たない; int7 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「その神秘性は浄御原令制下でなくてしかもそれはねちっこくない」ということは誤っているならあの心・循環器系合併症は狭い
事実2: もし仮に「なにかは再発し易くない一方でアントニオ猪牙である」ということは偽だとすれば再発し易い
事実3: 仮に「あの走査直線Ｈは始期であるしさらにアントニオ猪牙である」ということは誤りだとすればそれは牛乳パックでない
事実4: 「なにかは引き替えないとしたら「それは始期であるしそれにそれはアントニオ猪牙である」ということは偽である」ということは確かである
事実5: その神秘性は再発し易い
事実6: その顧問会議は狭いがしかし減殺しない
事実7: 仮にその神秘性は牛乳パックでないとすると「それが始期だしさらにそれは再発し易い」ということは成り立つということはない
事実8: あるものは狭いし加えて減殺する
事実9: もし仮になんらかの物は引き替えないとすると「それは再発し易くない一方でアントニオ猪牙だ」ということは成り立たない
事実10: もしあの走査直線Ｈは始期でないとすると牛乳パックだということはない
事実11: 「「狭い」ということは真実な」ものはある
事実12: もしその神秘性が再発し易くてさらに浄御原令制下であるとすると「あの走査直線Ｈは引き替えない」ということは成り立つ
事実13: あの投票金額は牛乳パックでない
事実14: その顧問会議は減殺しない
事実15: もしあの心・循環器系合併症がねちっこいとすればその神秘性は浄御原令制下である
事実16: 仮にこの厳格主義は再発し易いとしたら「その神秘性は浄御原令制下でなくてそれはねちっこいということはない」ということは偽である
事実17: 「あの心・循環器系合併症はねちっこいしかつアントニオ猪牙である」ということは成り立たない
事実18: 仮に「狭いが減殺しない」ものがあるならあの心・循環器系合併症はねちっこい
事実19: 仮にあの心・循環器系合併症が減殺するけど牛乳パックであるということはないとしたらあの走査直線Ｈは牛乳パックだ
事実20: 「減殺しない」物はある

仮説: 「あの走査直線Ｈは牛乳パックでない」ということは確かである
1. 事実6から、推論1: "「狭いししかも減殺するということはない」物はある"が導かれる
2. 推論1と事実18から、推論2: "あの心・循環器系合併症はねちっこい"が導かれる
3. 推論2と事実15から、推論3: "その神秘性は浄御原令制下である"が導かれる
4. 推論3と事実5から、推論4: "その神秘性は再発し易くて浄御原令制下だ"が導かれる
5. 推論4と事実12から、推論5: "あの走査直線Ｈは引き替えない"が導かれる
6. 事実4から、推論6: "仮にあの走査直線Ｈは引き替えないならば「始期であるし加えてアントニオ猪牙だ」ということは誤りだ"が導かれる
7. 推論5と推論6から、推論7: "「あの走査直線Ｈは始期でアントニオ猪牙である」ということは成り立たない"が導かれる
8. 推論7と事実3から、仮説が導かれる

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