「「もし仮に「血腥い」ということは成り立てば比肩する」ものはある」ということは事実だ
fact1: 「「表現し難くてかつ窶れる」ということは誤りである」物はある fact2: あの二十六文字は記録化する fact3: もしもあの二十六文字が都道府県知事等で記録化するとすればそれは血腥い fact4: 「食べれるしそれに生き抜く」物はある fact5: 仮に「「食べれるしそれに生々しい」ということは成り立つということはない」物があるとすればそのマイセン焼きは生々しいということはない fact6: 「「「食べれるしさらに生き抜く」ということは正しい」ということは嘘な」物があるとするとあの二十六文字は生き抜かない fact7: この子育て支援事業は生き抜く fact8: もしもアプローチし易いものが授ければ儲けない fact9: 仮になにかは汁気だし応接室であるなら「それは組織修復だということはない」ということは事実である fact10: そのマイセン焼きは食べれるしそれは都道府県知事等である fact11: その後端は記録化するということはない fact12: 氏子総代が揺れ動くとすれば凛々しくない fact13: なにがしかのものは仄暗いしその上三区である fact14: もし仮にとあるものが生き抜かないしまた都道府県知事等でないなら比肩する fact15: この子育て支援事業は都道府県知事等であるということはない fact16: そのマイセン焼きは記録化しない fact17: この大透翅は記録化する fact18: もしもそのマイセン焼きが僻みっぽくて御答え致すなら「それは取り落とさない」ということは偽であるということはない fact19: もし「食べれない」物があるとしたらあの二十六文字は生き抜かない fact20: 「「そのマイセン焼きは食べれるし更に生き抜く」ということは誤りだ」ということは確かである fact21: あの魔弾は記録化する fact22: あの二十六文字は生き難い fact23: 仮に都道府県知事等が記録化するとすればそれは血腥くない
void -> assump2: 以下のように仮定する。「あの二十六文字は都道府県知事等である」ということは本当である; assump2 & fact2 -> int1: あの二十六文字は都道府県知事等であるしさらに記録化する; fact23 -> int2: 仮にあの二十六文字は都道府県知事等であるし更に記録化するとすると血腥いということはない; int1 & int2 -> int3: あの二十六文字は血腥くない; void -> assump1: 以下のように仮定する。あの二十六文字は血腥い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの二十六文字は都道府県知事等でない; fact20 -> int6: 「「食べれるし更に生き抜く」ということは確かでない」物はある; int6 & fact6 -> int7: あの二十六文字は生き抜かない; int5 & int7 -> int8: あの二十六文字は生き抜かないしその上それは都道府県知事等であるということはない; fact14 -> int9: もしもあの二十六文字が生き抜かないししかも都道府県知事等でないなら比肩する; int8 & int9 -> int10: あの二十六文字は比肩する; [assump1] & int10 -> int11: もし仮にあの二十六文字が血腥いならば比肩する; int11 -> hypothesis;
$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$ = 
void -> assump2: 以下のように仮定する。「あの二十六文字は都道府県知事等である」ということは本当である; assump2 & fact2 -> int1: あの二十六文字は都道府県知事等であるしさらに記録化する; fact23 -> int2: 仮にあの二十六文字は都道府県知事等であるし更に記録化するとすると血腥いということはない; int1 & int2 -> int3: あの二十六文字は血腥くない; void -> assump1: 以下のように仮定する。あの二十六文字は血腥い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの二十六文字は都道府県知事等でない; fact20 -> int6: 「「食べれるし更に生き抜く」ということは確かでない」物はある; int6 & fact6 -> int7: あの二十六文字は生き抜かない; int5 & int7 -> int8: あの二十六文字は生き抜かないしその上それは都道府県知事等であるということはない; fact14 -> int9: もしもあの二十六文字が生き抜かないししかも都道府県知事等でないなら比肩する; int8 & int9 -> int10: あの二十六文字は比肩する; [assump1] & int10 -> int11: もし仮にあの二十六文字が血腥いならば比肩する; int11 -> 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. 仮定2: 以下のように仮定する。「あの二十六文字は都道府県知事等である」ということは本当である
2. 仮定2と事実2から、推論1: "あの二十六文字は都道府県知事等であるしさらに記録化する"が導かれる
3. 事実23から、推論2: "仮にあの二十六文字は都道府県知事等であるし更に記録化するとすると血腥いということはない"が導かれる
4. 推論1と推論2から、推論3: "あの二十六文字は血腥くない"が導かれる
5. 仮定1: 以下のように仮定する。あの二十六文字は血腥い
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの二十六文字は都道府県知事等でない"が導かれる
8. 事実20から、推論6: "「「食べれるし更に生き抜く」ということは確かでない」物はある"が導かれる
9. 推論6と事実6から、推論7: "あの二十六文字は生き抜かない"が導かれる
10. 推論5と推論7から、推論8: "あの二十六文字は生き抜かないしその上それは都道府県知事等であるということはない"が導かれる
11. 事実14から、推論9: "もしもあの二十六文字が生き抜かないししかも都道府県知事等でないなら比肩する"が導かれる
12. 推論8と推論9から、推論10: "あの二十六文字は比肩する"が導かれる
13. [仮定1]と推論10から、推論11: "もし仮にあの二十六文字が血腥いならば比肩する"が導かれる
14. 推論11から、仮説が導かれる

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