あの白昼夢は正しくない
fact1: もしも「なにがしかの物は篠であるしそれに程近い」ということは正しいということはないならばそれは正しくない fact2: 仮に「このデータ管理は退縮する一方で悩ましいということはない」ということは成り立つということはないならば退縮するということはない fact3: なにかは決めないなら「それは退縮するしそれは悩ましくない」ということは誤りである fact4: もしも産卵期が保冷するなら息抜きでない fact5: このデータ管理は程近い fact6: 仮にその干拓地が息抜きでないならばあのデータ管理は黒っぽいけれど決めるということはない fact7: 「あのエントランスは程近い」ということは本当だ fact8: もしこのデータ管理が程近いとするとあの白昼夢は正しい fact9: その干拓地は産卵期で更に保冷する
fact8 & fact5 -> hypothesis;
fact8 & fact5 -> hypothesis;
あの白昼夢は正しくない
fact14 -> int1: もし仮に「あの白昼夢は篠であるし加えてそれは程近い」ということは嘘であるとしたらそれは正しくない; fact15 -> int2: もしこのデータ管理は決めないとすると「退縮するけど悩ましくない」ということは成り立つということはない; fact13 -> int3: 仮にその干拓地は産卵期で更に保冷するとすると息抜きでない; int3 & fact10 -> int4: その干拓地は息抜きでない; fact11 & int4 -> int5: このデータ管理は黒っぽいけどそれは決めない; int5 -> int6: このデータ管理は決めない; int2 & int6 -> int7: 「このデータ管理は退縮するがしかし悩ましくない」ということは成り立たない; fact12 & int7 -> int8: このデータ管理は退縮しない; int8 -> int9: 「退縮しない」ものはある;
$facts$ = fact1: もしも「なにがしかの物は篠であるしそれに程近い」ということは正しいということはないならばそれは正しくない fact2: 仮に「このデータ管理は退縮する一方で悩ましいということはない」ということは成り立つということはないならば退縮するということはない fact3: なにかは決めないなら「それは退縮するしそれは悩ましくない」ということは誤りである fact4: もしも産卵期が保冷するなら息抜きでない fact5: このデータ管理は程近い fact6: 仮にその干拓地が息抜きでないならばあのデータ管理は黒っぽいけれど決めるということはない fact7: 「あのエントランスは程近い」ということは本当だ fact8: もしこのデータ管理が程近いとするとあの白昼夢は正しい fact9: その干拓地は産卵期で更に保冷する ; $hypothesis$ = あの白昼夢は正しくない ; $proof$ = 
fact8 & fact5 -> hypothesis; __DISPROVED__
事実1: もしも「なにがしかの物は篠であるしそれに程近い」ということは正しいということはないならばそれは正しくない
事実2: 仮に「このデータ管理は退縮する一方で悩ましいということはない」ということは成り立つということはないならば退縮するということはない
事実3: なにかは決めないなら「それは退縮するしそれは悩ましくない」ということは誤りである
事実4: もしも産卵期が保冷するなら息抜きでない
事実5: このデータ管理は程近い
事実6: 仮にその干拓地が息抜きでないならばあのデータ管理は黒っぽいけれど決めるということはない
事実7: 「あのエントランスは程近い」ということは本当だ
事実8: もしこのデータ管理が程近いとするとあの白昼夢は正しい
事実9: その干拓地は産卵期で更に保冷する

仮説: あの白昼夢は正しくない
1. 事実8と事実5から、仮説が否定される

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