この水深は夫婦らしくない
fact1: 仮にあるものが喋り捲るということはないとしたら物凄いが男性不妊症でない fact2: なにかは喋り捲るということはない fact3: もし「喋り捲らない」物があるならばあのＯＢＥＸ接続等は長いがしかし初代社長でない fact4: もしも「そのＯＢＥＸ接続等は長いし加えて喋り捲る」ということは正しくないならばその洋学年表は喋り捲らない fact5: もしも何かは錠前であるということはないとすれば「追走するしその上初代社長だ」ということは嘘だ fact6: なにかは追走するなら夫婦らしい fact7: 仮にそのＯＢＥＸ接続等が初代社長でないとすればこの信号源は錠前でないけれど初代社長だ fact8: ある物は初代社長でないとすると「長いし喋り捲る」ということは成り立たない fact9: もしもこの信号源が初代社長だとしたらこの水深は初代社長であり意味以上でない fact10: もし仮になんらかの物が初代社長であるがしかし意味以上でないならそれは追走する
fact2 & fact3 -> int1: そのＯＢＥＸ接続等は長いがしかし初代社長でない; int1 -> int2: そのＯＢＥＸ接続等は初代社長でない; int2 & fact7 -> int3: この信号源は錠前でないけれどそれは初代社長である; int3 -> int4: この信号源は初代社長だ; int4 & fact9 -> int5: この水深は初代社長だが意味以上でない; fact10 -> int6: もしこの水深が初代社長であるがしかしそれは意味以上でないなら追走する; int5 & int6 -> int7: この水深は追走する; fact6 -> int8: もし仮にこの水深が追走すれば夫婦らしい; int7 & int8 -> hypothesis;
その洋学年表は物凄いが男性不妊症でない
fact12 -> int9: その洋学年表が喋り捲るということはないとすれば物凄いが男性不妊症でない; fact11 -> int10: もし仮にその妻子は錠前でないなら「それは追走するしかつ初代社長だ」ということは間違っている; fact14 -> int11: もし仮にこの信号源は初代社長でないとしたら「それは長くて喋り捲る」ということは嘘だ;
$facts$ = fact1: 仮にあるものが喋り捲るということはないとしたら物凄いが男性不妊症でない fact2: なにかは喋り捲るということはない fact3: もし「喋り捲らない」物があるならばあのＯＢＥＸ接続等は長いがしかし初代社長でない fact4: もしも「そのＯＢＥＸ接続等は長いし加えて喋り捲る」ということは正しくないならばその洋学年表は喋り捲らない fact5: もしも何かは錠前であるということはないとすれば「追走するしその上初代社長だ」ということは嘘だ fact6: なにかは追走するなら夫婦らしい fact7: 仮にそのＯＢＥＸ接続等が初代社長でないとすればこの信号源は錠前でないけれど初代社長だ fact8: ある物は初代社長でないとすると「長いし喋り捲る」ということは成り立たない fact9: もしもこの信号源が初代社長だとしたらこの水深は初代社長であり意味以上でない fact10: もし仮になんらかの物が初代社長であるがしかし意味以上でないならそれは追走する ; $hypothesis$ = この水深は夫婦らしくない ; $proof$ = 
fact2 & fact3 -> int1: そのＯＢＥＸ接続等は長いがしかし初代社長でない; int1 -> int2: そのＯＢＥＸ接続等は初代社長でない; int2 & fact7 -> int3: この信号源は錠前でないけれどそれは初代社長である; int3 -> int4: この信号源は初代社長だ; int4 & fact9 -> int5: この水深は初代社長だが意味以上でない; fact10 -> int6: もしこの水深が初代社長であるがしかしそれは意味以上でないなら追走する; int5 & int6 -> int7: この水深は追走する; fact6 -> int8: もし仮にこの水深が追走すれば夫婦らしい; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 仮にあるものが喋り捲るということはないとしたら物凄いが男性不妊症でない
事実2: なにかは喋り捲るということはない
事実3: もし「喋り捲らない」物があるならばあのＯＢＥＸ接続等は長いがしかし初代社長でない
事実4: もしも「そのＯＢＥＸ接続等は長いし加えて喋り捲る」ということは正しくないならばその洋学年表は喋り捲らない
事実5: もしも何かは錠前であるということはないとすれば「追走するしその上初代社長だ」ということは嘘だ
事実6: なにかは追走するなら夫婦らしい
事実7: 仮にそのＯＢＥＸ接続等が初代社長でないとすればこの信号源は錠前でないけれど初代社長だ
事実8: ある物は初代社長でないとすると「長いし喋り捲る」ということは成り立たない
事実9: もしもこの信号源が初代社長だとしたらこの水深は初代社長であり意味以上でない
事実10: もし仮になんらかの物が初代社長であるがしかし意味以上でないならそれは追走する

仮説: この水深は夫婦らしくない
1. 事実2と事実3から、推論1: "そのＯＢＥＸ接続等は長いがしかし初代社長でない"が導かれる
2. 推論1から、推論2: "そのＯＢＥＸ接続等は初代社長でない"が導かれる
3. 推論2と事実7から、推論3: "この信号源は錠前でないけれどそれは初代社長である"が導かれる
4. 推論3から、推論4: "この信号源は初代社長だ"が導かれる
5. 推論4と事実9から、推論5: "この水深は初代社長だが意味以上でない"が導かれる
6. 事実10から、推論6: "もしこの水深が初代社長であるがしかしそれは意味以上でないなら追走する"が導かれる
7. 推論5と推論6から、推論7: "この水深は追走する"が導かれる
8. 事実6から、推論8: "もし仮にこの水深が追走すれば夫婦らしい"が導かれる
9. 推論7と推論8から、仮説が否定される

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