もし「その薄暗さは壊れ難くないが裾板である」ということは真実であるということはないとすればその日米安全保障条約はピクセルデータでない
fact1: その日米安全保障条約は陰謀であるということはないがしかし上がり易い fact2: もしも「「上告するしピクセルデータだ」ということは正しくない」ものがあればその薄暗さはピクセルデータでない fact3: 仮になんらかの物は陰謀でないならば「それは返りらしいしまた傾ぐ」ということは成り立たない fact4: 「その旧街道は上告するしピクセルデータだ」ということは嘘である fact5: その相互不信は陰謀である fact6: 「「返りらしいしそれに傾ぐ」ということは成り立たない」ものがあるとするとその薄暗さは返りらしくない fact7: もしもなにかは規制緩和しないなら「御休み為さるがしかし基本動作でない」ということは嘘だ fact8: もし仮に「なんらかのものは返りらしいし更に規制緩和する」ということは事実でないとするとそれは御休み為さらない fact9: もし仮に「何らかのものは御休み為さる一方で基本動作だということはない」ということは確かでないとしたら基本動作だ fact10: ピクセルデータが基本動作だとすればその旧街道は御休み為さる fact11: 「もしもとある物が返りらしくないとすればそれは規制緩和しない」ということは成り立つ fact12: その薄暗さが捗らない一方で基本動作であるならその抗原物質は捗る fact13: もし「その薄暗さは壊れ難くないが裾板だ」ということは嘘ならばあの日米安全保障条約はピクセルデータである fact14: 「その薄暗さは裾板であるしそれは御休み為さる」ということは事実と異なる fact15: もし「その旧街道は返りらしくない」ということは正しいとするとそれは御休み為さらない fact16: 「陰謀である」物はあるとすると「その旧街道は返りらしいし更にそれは規制緩和する」ということは成り立たない fact17: もし仮にある物がピクセルデータでないとすれば捗らない fact18: もし「その旧街道は御休み為さらないけどそれはピクセルデータである」ということは成り立たないとしたらその日米安全保障条約は返りらしい fact19: もし「その薄暗さは壊れ難くないけれどそれは裾板である」ということは間違いならばあの日米安全保障条約は基本動作である
void -> assump1: 以下のように仮定する。「その薄暗さは壊れ難くないけれど裾板である」ということは成り立たない; fact19 & assump1 -> int1: その日米安全保障条約は基本動作である; void -> assump2: 以下のように仮定する。その日米安全保障条約はピクセルデータである; int1 & assump2 -> int2: その日米安全保障条約はピクセルデータであるしおまけに基本動作だ; int2 -> int3: 「ピクセルデータだしまた基本動作である」物はある; int3 & fact10 -> int4: 「その旧街道は御休み為さる」ということは成り立つ; fact8 -> int5: もしも「その旧街道は返りらしいし規制緩和する」ということは間違っているならそれは御休み為さらない; fact5 -> int6: 何らかの物は陰謀である; int6 & fact16 -> int7: 「その旧街道は返りらしいししかも規制緩和する」ということは偽である; int5 & int7 -> int8: その旧街道は御休み為さらない; int4 & int8 -> int9: これは矛盾である; [assump2] & int9 -> int10: その日米安全保障条約はピクセルデータでない; [assump1] & int10 -> hypothesis;
その抗原物質は捗る
fact22 -> int11: もし仮にその薄暗さがピクセルデータでないとすればそれは捗らない; fact28 -> int12: 「「上告するしまたピクセルデータである」ということは成り立たない」ものはある; int12 & fact26 -> int13: 「その薄暗さはピクセルデータでない」ということは成り立つ; int11 & int13 -> int14: 「その薄暗さは捗らない」ということは確かだ; fact25 -> int15: もしも「「その薄暗さは御休み為さる一方でそれは基本動作だということはない」ということは事実である」ということは真実でないとしたら基本動作である; fact23 -> int16: その薄暗さは規制緩和しないならば「それは御休み為さるしそれは基本動作だということはない」ということは誤っている; fact21 -> int17: もしもその薄暗さは返りらしいということはないならば「規制緩和しない」ということは正しい; fact20 -> int18: もし仮にその日米安全保障条約は陰謀でないならば「返りらしいし加えて傾ぐ」ということは誤っている; fact29 -> int19: その日米安全保障条約は陰謀でない; int18 & int19 -> int20: 「その日米安全保障条約は返りらしいし傾ぐ」ということは成り立たない; int20 -> int21: 「「返りらしいしそれに傾ぐ」ということは成り立つということはない」物はある; int21 & fact27 -> int22: 「その薄暗さは返りらしくない」ということは成り立つ; int17 & int22 -> int23: 「その薄暗さは規制緩和しない」ということは真実だ; int16 & int23 -> int24: 「その薄暗さは御休み為さる一方で基本動作でない」ということは成り立つということはない; int15 & int24 -> int25: 「その薄暗さは基本動作である」ということは成り立つ; int14 & int25 -> int26: その薄暗さは捗らない一方でそれは基本動作である; fact24 & int26 -> hypothesis;
$facts$ = fact1: その日米安全保障条約は陰謀であるということはないがしかし上がり易い fact2: もしも「「上告するしピクセルデータだ」ということは正しくない」ものがあればその薄暗さはピクセルデータでない fact3: 仮になんらかの物は陰謀でないならば「それは返りらしいしまた傾ぐ」ということは成り立たない fact4: 「その旧街道は上告するしピクセルデータだ」ということは嘘である fact5: その相互不信は陰謀である fact6: 「「返りらしいしそれに傾ぐ」ということは成り立たない」ものがあるとするとその薄暗さは返りらしくない fact7: もしもなにかは規制緩和しないなら「御休み為さるがしかし基本動作でない」ということは嘘だ fact8: もし仮に「なんらかのものは返りらしいし更に規制緩和する」ということは事実でないとするとそれは御休み為さらない fact9: もし仮に「何らかのものは御休み為さる一方で基本動作だということはない」ということは確かでないとしたら基本動作だ fact10: ピクセルデータが基本動作だとすればその旧街道は御休み為さる fact11: 「もしもとある物が返りらしくないとすればそれは規制緩和しない」ということは成り立つ fact12: その薄暗さが捗らない一方で基本動作であるならその抗原物質は捗る fact13: もし「その薄暗さは壊れ難くないが裾板だ」ということは嘘ならばあの日米安全保障条約はピクセルデータである fact14: 「その薄暗さは裾板であるしそれは御休み為さる」ということは事実と異なる fact15: もし「その旧街道は返りらしくない」ということは正しいとするとそれは御休み為さらない fact16: 「陰謀である」物はあるとすると「その旧街道は返りらしいし更にそれは規制緩和する」ということは成り立たない fact17: もし仮にある物がピクセルデータでないとすれば捗らない fact18: もし「その旧街道は御休み為さらないけどそれはピクセルデータである」ということは成り立たないとしたらその日米安全保障条約は返りらしい fact19: もし「その薄暗さは壊れ難くないけれどそれは裾板である」ということは間違いならばあの日米安全保障条約は基本動作である ; $hypothesis$ = もし「その薄暗さは壊れ難くないが裾板である」ということは真実であるということはないとすればその日米安全保障条約はピクセルデータでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その薄暗さは壊れ難くないけれど裾板である」ということは成り立たない; fact19 & assump1 -> int1: その日米安全保障条約は基本動作である; void -> assump2: 以下のように仮定する。その日米安全保障条約はピクセルデータである; int1 & assump2 -> int2: その日米安全保障条約はピクセルデータであるしおまけに基本動作だ; int2 -> int3: 「ピクセルデータだしまた基本動作である」物はある; int3 & fact10 -> int4: 「その旧街道は御休み為さる」ということは成り立つ; fact8 -> int5: もしも「その旧街道は返りらしいし規制緩和する」ということは間違っているならそれは御休み為さらない; fact5 -> int6: 何らかの物は陰謀である; int6 & fact16 -> int7: 「その旧街道は返りらしいししかも規制緩和する」ということは偽である; int5 & int7 -> int8: その旧街道は御休み為さらない; int4 & int8 -> int9: これは矛盾である; [assump2] & int9 -> int10: その日米安全保障条約はピクセルデータでない; [assump1] & int10 -> hypothesis; __PROVED__
事実1: その日米安全保障条約は陰謀であるということはないがしかし上がり易い
事実2: もしも「「上告するしピクセルデータだ」ということは正しくない」ものがあればその薄暗さはピクセルデータでない
事実3: 仮になんらかの物は陰謀でないならば「それは返りらしいしまた傾ぐ」ということは成り立たない
事実4: 「その旧街道は上告するしピクセルデータだ」ということは嘘である
事実5: その相互不信は陰謀である
事実6: 「「返りらしいしそれに傾ぐ」ということは成り立たない」ものがあるとするとその薄暗さは返りらしくない
事実7: もしもなにかは規制緩和しないなら「御休み為さるがしかし基本動作でない」ということは嘘だ
事実8: もし仮に「なんらかのものは返りらしいし更に規制緩和する」ということは事実でないとするとそれは御休み為さらない
事実9: もし仮に「何らかのものは御休み為さる一方で基本動作だということはない」ということは確かでないとしたら基本動作だ
事実10: ピクセルデータが基本動作だとすればその旧街道は御休み為さる
事実11: 「もしもとある物が返りらしくないとすればそれは規制緩和しない」ということは成り立つ
事実12: その薄暗さが捗らない一方で基本動作であるならその抗原物質は捗る
事実13: もし「その薄暗さは壊れ難くないが裾板だ」ということは嘘ならばあの日米安全保障条約はピクセルデータである
事実14: 「その薄暗さは裾板であるしそれは御休み為さる」ということは事実と異なる
事実15: もし「その旧街道は返りらしくない」ということは正しいとするとそれは御休み為さらない
事実16: 「陰謀である」物はあるとすると「その旧街道は返りらしいし更にそれは規制緩和する」ということは成り立たない
事実17: もし仮にある物がピクセルデータでないとすれば捗らない
事実18: もし「その旧街道は御休み為さらないけどそれはピクセルデータである」ということは成り立たないとしたらその日米安全保障条約は返りらしい
事実19: もし「その薄暗さは壊れ難くないけれどそれは裾板である」ということは間違いならばあの日米安全保障条約は基本動作である

仮説: もし「その薄暗さは壊れ難くないが裾板である」ということは真実であるということはないとすればその日米安全保障条約はピクセルデータでない
1. 仮定1: 以下のように仮定する。「その薄暗さは壊れ難くないけれど裾板である」ということは成り立たない
2. 事実19と仮定1から、推論1: "その日米安全保障条約は基本動作である"が導かれる
3. 仮定2: 以下のように仮定する。その日米安全保障条約はピクセルデータである
4. 推論1と仮定2から、推論2: "その日米安全保障条約はピクセルデータであるしおまけに基本動作だ"が導かれる
5. 推論2から、推論3: "「ピクセルデータだしまた基本動作である」物はある"が導かれる
6. 推論3と事実10から、推論4: "「その旧街道は御休み為さる」ということは成り立つ"が導かれる
7. 事実8から、推論5: "もしも「その旧街道は返りらしいし規制緩和する」ということは間違っているならそれは御休み為さらない"が導かれる
8. 事実5から、推論6: "何らかの物は陰謀である"が導かれる
9. 推論6と事実16から、推論7: "「その旧街道は返りらしいししかも規制緩和する」ということは偽である"が導かれる
10. 推論5と推論7から、推論8: "その旧街道は御休み為さらない"が導かれる
11. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
12. [仮定2]と推論9から、推論10: "その日米安全保障条約はピクセルデータでない"が導かれる
13. [仮定1]と推論10から、仮説が導かれる

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