「この渦無しはワヤガ高地だ」ということは正しい
fact1: この亜硫酸は乳繰り有らない fact2: 仮になにがしかのものが乳繰り有るということはないならばそれはワヤガ高地でない fact3: その明暗は乳繰り有る fact4: もしもこの実世界が聡くないならそれは相談件数でない fact5: なんらかの物は乳繰り有れば「しどけなくないけど腑甲斐無い」ということは成り立たない fact6: 腑甲斐無いということはないものは乳繰り有らない fact7: この渦無しは初々しかない fact8: この洞窟トロルが腑甲斐無くないならこの渦無しはワヤガ高地でおまけに相談件数だ fact9: もしもその本宅が散在するなら取り引き内容だ fact10: もしもその早期診断が福岡地裁である一方でそれが昏睡状態でないならこのエアコン付きは仕舞い易くない fact11: 「その本宅は取り引き内容である」ということは本当であるなら「その早期診断は取り引き内容である」ということは成り立つ fact12: もし仮になにかは仕舞い易くないとすれば「それは乳繰り有るということはないし大成功する」ということは偽である fact13: もし仮に「あの遊戯療法はしどけなくない一方でそれは腑甲斐無い」ということは成り立たないとするとこの洞窟トロルは腑甲斐無いということはない fact14: 仮に「ある物は乳繰り有るということはないけれど大成功する」ということは嘘だとすると乳繰り有る fact15: もしこの渦無しが初当たりなら御美しくない fact16: 仮に「このエアコン付きは乳繰り有る」ということは本当であるとするとあの遊戯療法は乳繰り有る fact17: この渦無しは相談件数だ fact18: もしなにかは取り引き内容であるならばそれは福岡地裁だけれど昏睡状態でない fact19: もし「この渦無しは相談件数だ」ということは真実であるとすれば「腑甲斐無くない」ということは成り立つ
fact19 & fact17 -> int1: この渦無しは腑甲斐無くない; fact6 -> int2: もしもこの渦無しが腑甲斐無くないとすればそれは乳繰り有るということはない; int1 & int2 -> int3: この渦無しは乳繰り有らない; fact2 -> int4: もし仮にこの渦無しが乳繰り有らないならそれはワヤガ高地でない; int3 & int4 -> hypothesis;
fact19 & fact17 -> int1: ¬{B}{a}; fact6 -> int2: ¬{B}{a} -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact2 -> int4: ¬{C}{a} -> ¬{D}{a}; int3 & int4 -> hypothesis;
この渦無しはワヤガ高地だ
fact24 -> int5: もしもあの遊戯療法は乳繰り有れば「それはしどけなくなくて加えて腑甲斐無い」ということは成り立たない; fact23 -> int6: 「このエアコン付きは乳繰り有らないけれど大成功する」ということは本当でないならばそれは乳繰り有る; fact29 -> int7: このエアコン付きは仕舞い易いということはないとしたら「乳繰り有るということはないし大成功する」ということは成り立つということはない; fact22 -> int8: もし仮にその早期診断は取り引き内容であるとすればそれは福岡地裁だ一方で昏睡状態でない;
$facts$ = fact1: この亜硫酸は乳繰り有らない fact2: 仮になにがしかのものが乳繰り有るということはないならばそれはワヤガ高地でない fact3: その明暗は乳繰り有る fact4: もしもこの実世界が聡くないならそれは相談件数でない fact5: なんらかの物は乳繰り有れば「しどけなくないけど腑甲斐無い」ということは成り立たない fact6: 腑甲斐無いということはないものは乳繰り有らない fact7: この渦無しは初々しかない fact8: この洞窟トロルが腑甲斐無くないならこの渦無しはワヤガ高地でおまけに相談件数だ fact9: もしもその本宅が散在するなら取り引き内容だ fact10: もしもその早期診断が福岡地裁である一方でそれが昏睡状態でないならこのエアコン付きは仕舞い易くない fact11: 「その本宅は取り引き内容である」ということは本当であるなら「その早期診断は取り引き内容である」ということは成り立つ fact12: もし仮になにかは仕舞い易くないとすれば「それは乳繰り有るということはないし大成功する」ということは偽である fact13: もし仮に「あの遊戯療法はしどけなくない一方でそれは腑甲斐無い」ということは成り立たないとするとこの洞窟トロルは腑甲斐無いということはない fact14: 仮に「ある物は乳繰り有るということはないけれど大成功する」ということは嘘だとすると乳繰り有る fact15: もしこの渦無しが初当たりなら御美しくない fact16: 仮に「このエアコン付きは乳繰り有る」ということは本当であるとするとあの遊戯療法は乳繰り有る fact17: この渦無しは相談件数だ fact18: もしなにかは取り引き内容であるならばそれは福岡地裁だけれど昏睡状態でない fact19: もし「この渦無しは相談件数だ」ということは真実であるとすれば「腑甲斐無くない」ということは成り立つ ; $hypothesis$ = 「この渦無しはワヤガ高地だ」ということは正しい ; $proof$ = 
fact19 & fact17 -> int1: この渦無しは腑甲斐無くない; fact6 -> int2: もしもこの渦無しが腑甲斐無くないとすればそれは乳繰り有るということはない; int1 & int2 -> int3: この渦無しは乳繰り有らない; fact2 -> int4: もし仮にこの渦無しが乳繰り有らないならそれはワヤガ高地でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この亜硫酸は乳繰り有らない
事実2: 仮になにがしかのものが乳繰り有るということはないならばそれはワヤガ高地でない
事実3: その明暗は乳繰り有る
事実4: もしもこの実世界が聡くないならそれは相談件数でない
事実5: なんらかの物は乳繰り有れば「しどけなくないけど腑甲斐無い」ということは成り立たない
事実6: 腑甲斐無いということはないものは乳繰り有らない
事実7: この渦無しは初々しかない
事実8: この洞窟トロルが腑甲斐無くないならこの渦無しはワヤガ高地でおまけに相談件数だ
事実9: もしもその本宅が散在するなら取り引き内容だ
事実10: もしもその早期診断が福岡地裁である一方でそれが昏睡状態でないならこのエアコン付きは仕舞い易くない
事実11: 「その本宅は取り引き内容である」ということは本当であるなら「その早期診断は取り引き内容である」ということは成り立つ
事実12: もし仮になにかは仕舞い易くないとすれば「それは乳繰り有るということはないし大成功する」ということは偽である
事実13: もし仮に「あの遊戯療法はしどけなくない一方でそれは腑甲斐無い」ということは成り立たないとするとこの洞窟トロルは腑甲斐無いということはない
事実14: 仮に「ある物は乳繰り有るということはないけれど大成功する」ということは嘘だとすると乳繰り有る
事実15: もしこの渦無しが初当たりなら御美しくない
事実16: 仮に「このエアコン付きは乳繰り有る」ということは本当であるとするとあの遊戯療法は乳繰り有る
事実17: この渦無しは相談件数だ
事実18: もしなにかは取り引き内容であるならばそれは福岡地裁だけれど昏睡状態でない
事実19: もし「この渦無しは相談件数だ」ということは真実であるとすれば「腑甲斐無くない」ということは成り立つ

仮説: 「この渦無しはワヤガ高地だ」ということは正しい
1. 事実19と事実17から、推論1: "この渦無しは腑甲斐無くない"が導かれる
2. 事実6から、推論2: "もしもこの渦無しが腑甲斐無くないとすればそれは乳繰り有るということはない"が導かれる
3. 推論1と推論2から、推論3: "この渦無しは乳繰り有らない"が導かれる
4. 事実2から、推論4: "もし仮にこの渦無しが乳繰り有らないならそれはワヤガ高地でない"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。