もし「「そのＣＩＷＳは伺える」ということは確かである」ということは誤っているなら「この六階建ては遊び相手でなくてその上それは静電力でない」ということは誤りだ
fact1: 仮になにかは伺えるならそれは里帰りするということはない fact2: もし仮に「そのＣＩＷＳは真白いということはなくておまけに上野国でない」ということは間違いだとしたらこの六階建ては上野国でない fact3: すべてのものは罹り易いしさらに渋い fact4: 仮にこの六階建ては伺えるということはないならば「そのＣＩＷＳは静電力である一方で遊び相手でない」ということは誤りである fact5: もしもこの犬橇が葱味噌であるが好循環でないとすればその米内はシフトするということはない fact6: この六階建ては輸入出来ない fact7: もしそのＣＩＷＳは遊び相手でないとすれば「この六階建ては静電力でなくてまた伺えない」ということは誤っている fact8: この六階建てが遊び相手でなくてその上それが静電力でないならそのＣＩＷＳは伺える fact9: そのＣＩＷＳはしいんとしない fact10: もしこの六階建てが遊び相手だ一方で静電力でないとするとそのＣＩＷＳは伺える fact11: 「この六階建ては遊び相手でないけどそれは静電力だ」ということは成り立たない fact12: この犬橇は差し押さえる fact13: 何らかの物が里帰りしないとするとそれは一通り紹介しなくておまけにそれはしいんとしない fact14: もしもそのＣＩＷＳが伺えなくて加えて遊び相手だということはないとすればこの六階建ては静電力だ fact15: もし仮にその米内はシフトするということはないとしたら「そのＣＩＷＳは真白くなくてそれに上野国であるということはない」ということは事実と異なる fact16: もしこの六階建てが静電力でないけど伺えるとすればあのＣＩＷＳは遊び相手だ fact17: もし関節液中は上野国でないならば伺える fact18: その浮沈が渋いならこの六階建ては関節液中である fact19: もしこの六階建てが伺えないし加えて遊び相手でないとすればそのＣＩＷＳは静電力だ fact20: 「「この六階建ては遊び相手だけど静電力でない」ということは真実だ」ということは偽である fact21: ある物は差し押さえるとしたら「葱味噌だけれど好循環であるということはない」ということは成り立つ
void -> assump1: 以下のように仮定する。この六階建ては遊び相手でなくて静電力でない; fact8 & assump1 -> int1: そのＣＩＷＳは伺える; void -> assump2: 以下のように仮定する。そのＣＩＷＳは伺えない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この六階建ては遊び相手でないし更に静電力でない」ということは成り立つということはない; [assump2] & int3 -> hypothesis;
この六階建ては一通り紹介しなくてしいんとしない
fact23 -> int4: この六階建てが里帰りしないならそれは一通り紹介しなくて加えてしいんとしない; fact28 -> int5: もし仮にこの六階建てが伺えるとすればそれは里帰りしない; fact24 -> int6: もし仮にこの六階建ては関節液中だがしかし上野国でないならば伺える; fact30 -> int7: その浮沈は罹り易いし渋い; int7 -> int8: その浮沈は渋い; fact25 & int8 -> int9: この六階建ては関節液中だ; fact26 -> int10: この犬橇が差し押さえるなら葱味噌でそれは好循環でない; int10 & fact22 -> int11: 「この犬橇は葱味噌だ一方で好循環だということはない」ということは成り立つ; fact27 & int11 -> int12: その米内はシフトしない; fact31 & int12 -> int13: 「そのＣＩＷＳは真白くないし上野国でない」ということは間違いだ; fact29 & int13 -> int14: この六階建ては上野国でない; int9 & int14 -> int15: この六階建ては関節液中であるけれど上野国であるということはない; int6 & int15 -> int16: この六階建ては伺える; int5 & int16 -> int17: この六階建ては里帰りしない; int4 & int17 -> hypothesis;
$facts$ = fact1: 仮になにかは伺えるならそれは里帰りするということはない fact2: もし仮に「そのＣＩＷＳは真白いということはなくておまけに上野国でない」ということは間違いだとしたらこの六階建ては上野国でない fact3: すべてのものは罹り易いしさらに渋い fact4: 仮にこの六階建ては伺えるということはないならば「そのＣＩＷＳは静電力である一方で遊び相手でない」ということは誤りである fact5: もしもこの犬橇が葱味噌であるが好循環でないとすればその米内はシフトするということはない fact6: この六階建ては輸入出来ない fact7: もしそのＣＩＷＳは遊び相手でないとすれば「この六階建ては静電力でなくてまた伺えない」ということは誤っている fact8: この六階建てが遊び相手でなくてその上それが静電力でないならそのＣＩＷＳは伺える fact9: そのＣＩＷＳはしいんとしない fact10: もしこの六階建てが遊び相手だ一方で静電力でないとするとそのＣＩＷＳは伺える fact11: 「この六階建ては遊び相手でないけどそれは静電力だ」ということは成り立たない fact12: この犬橇は差し押さえる fact13: 何らかの物が里帰りしないとするとそれは一通り紹介しなくておまけにそれはしいんとしない fact14: もしもそのＣＩＷＳが伺えなくて加えて遊び相手だということはないとすればこの六階建ては静電力だ fact15: もし仮にその米内はシフトするということはないとしたら「そのＣＩＷＳは真白くなくてそれに上野国であるということはない」ということは事実と異なる fact16: もしこの六階建てが静電力でないけど伺えるとすればあのＣＩＷＳは遊び相手だ fact17: もし関節液中は上野国でないならば伺える fact18: その浮沈が渋いならこの六階建ては関節液中である fact19: もしこの六階建てが伺えないし加えて遊び相手でないとすればそのＣＩＷＳは静電力だ fact20: 「「この六階建ては遊び相手だけど静電力でない」ということは真実だ」ということは偽である fact21: ある物は差し押さえるとしたら「葱味噌だけれど好循環であるということはない」ということは成り立つ ; $hypothesis$ = もし「「そのＣＩＷＳは伺える」ということは確かである」ということは誤っているなら「この六階建ては遊び相手でなくてその上それは静電力でない」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この六階建ては遊び相手でなくて静電力でない; fact8 & assump1 -> int1: そのＣＩＷＳは伺える; void -> assump2: 以下のように仮定する。そのＣＩＷＳは伺えない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この六階建ては遊び相手でないし更に静電力でない」ということは成り立つということはない; [assump2] & int3 -> hypothesis; __PROVED__
事実1: 仮になにかは伺えるならそれは里帰りするということはない
事実2: もし仮に「そのＣＩＷＳは真白いということはなくておまけに上野国でない」ということは間違いだとしたらこの六階建ては上野国でない
事実3: すべてのものは罹り易いしさらに渋い
事実4: 仮にこの六階建ては伺えるということはないならば「そのＣＩＷＳは静電力である一方で遊び相手でない」ということは誤りである
事実5: もしもこの犬橇が葱味噌であるが好循環でないとすればその米内はシフトするということはない
事実6: この六階建ては輸入出来ない
事実7: もしそのＣＩＷＳは遊び相手でないとすれば「この六階建ては静電力でなくてまた伺えない」ということは誤っている
事実8: この六階建てが遊び相手でなくてその上それが静電力でないならそのＣＩＷＳは伺える
事実9: そのＣＩＷＳはしいんとしない
事実10: もしこの六階建てが遊び相手だ一方で静電力でないとするとそのＣＩＷＳは伺える
事実11: 「この六階建ては遊び相手でないけどそれは静電力だ」ということは成り立たない
事実12: この犬橇は差し押さえる
事実13: 何らかの物が里帰りしないとするとそれは一通り紹介しなくておまけにそれはしいんとしない
事実14: もしもそのＣＩＷＳが伺えなくて加えて遊び相手だということはないとすればこの六階建ては静電力だ
事実15: もし仮にその米内はシフトするということはないとしたら「そのＣＩＷＳは真白くなくてそれに上野国であるということはない」ということは事実と異なる
事実16: もしこの六階建てが静電力でないけど伺えるとすればあのＣＩＷＳは遊び相手だ
事実17: もし関節液中は上野国でないならば伺える
事実18: その浮沈が渋いならこの六階建ては関節液中である
事実19: もしこの六階建てが伺えないし加えて遊び相手でないとすればそのＣＩＷＳは静電力だ
事実20: 「「この六階建ては遊び相手だけど静電力でない」ということは真実だ」ということは偽である
事実21: ある物は差し押さえるとしたら「葱味噌だけれど好循環であるということはない」ということは成り立つ

仮説: もし「「そのＣＩＷＳは伺える」ということは確かである」ということは誤っているなら「この六階建ては遊び相手でなくてその上それは静電力でない」ということは誤りだ
1. 仮定1: 以下のように仮定する。この六階建ては遊び相手でなくて静電力でない
2. 事実8と仮定1から、推論1: "そのＣＩＷＳは伺える"が導かれる
3. 仮定2: 以下のように仮定する。そのＣＩＷＳは伺えない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「この六階建ては遊び相手でないし更に静電力でない」ということは成り立つということはない"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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