このパンティーは追及するということはない
fact1: すりゃ良いかあるいは付け易いものは協議離婚でない fact2: あの生産サイクルは協議離婚でないとすると「この水分代謝は協議離婚であるけど音楽上でない」ということは成り立たない fact3: 「あの生産サイクルはすりゃ良い」ということは正しい fact4: もしも「この水分代謝は協議離婚であるけれど音楽上でない」ということは誤っているとするとこのパンティーは追及する fact5: もし仮に「なにがしかのものはすりゃ良くない」ということは成り立つなら「それは付け易くて協議離婚だ」ということは成り立たない fact6: 「あるものは音楽上であるということはなくて更に追及しない」ということは成り立たないとすればそれはすりゃ良くない
fact3 -> int1: あの生産サイクルはすりゃ良いかまたは付け易いか両方である; fact1 -> int2: もし仮にあの生産サイクルはすりゃ良いかまたは付け易いとしたらそれは協議離婚でない; int1 & int2 -> int3: あの生産サイクルは協議離婚でない; int3 & fact2 -> int4: 「この水分代謝は協議離婚であるがしかしそれは音楽上でない」ということは成り立たない; int4 & fact4 -> hypothesis;
「この地上部は協議離婚でない」ということは成り立つ
fact7 -> int5: 仮にあの生産サイクルはすりゃ良くないとすれば「それは付け易いし加えてそれは協議離婚である」ということは誤りだ; fact8 -> int6: もし仮に「「あの生産サイクルは音楽上でなくてそれに追及しない」ということは成り立たない」ということは成り立つとするとそれはすりゃ良くない;
$facts$ = fact1: すりゃ良いかあるいは付け易いものは協議離婚でない fact2: あの生産サイクルは協議離婚でないとすると「この水分代謝は協議離婚であるけど音楽上でない」ということは成り立たない fact3: 「あの生産サイクルはすりゃ良い」ということは正しい fact4: もしも「この水分代謝は協議離婚であるけれど音楽上でない」ということは誤っているとするとこのパンティーは追及する fact5: もし仮に「なにがしかのものはすりゃ良くない」ということは成り立つなら「それは付け易くて協議離婚だ」ということは成り立たない fact6: 「あるものは音楽上であるということはなくて更に追及しない」ということは成り立たないとすればそれはすりゃ良くない ; $hypothesis$ = このパンティーは追及するということはない ; $proof$ = 
fact3 -> int1: あの生産サイクルはすりゃ良いかまたは付け易いか両方である; fact1 -> int2: もし仮にあの生産サイクルはすりゃ良いかまたは付け易いとしたらそれは協議離婚でない; int1 & int2 -> int3: あの生産サイクルは協議離婚でない; int3 & fact2 -> int4: 「この水分代謝は協議離婚であるがしかしそれは音楽上でない」ということは成り立たない; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: すりゃ良いかあるいは付け易いものは協議離婚でない
事実2: あの生産サイクルは協議離婚でないとすると「この水分代謝は協議離婚であるけど音楽上でない」ということは成り立たない
事実3: 「あの生産サイクルはすりゃ良い」ということは正しい
事実4: もしも「この水分代謝は協議離婚であるけれど音楽上でない」ということは誤っているとするとこのパンティーは追及する
事実5: もし仮に「なにがしかのものはすりゃ良くない」ということは成り立つなら「それは付け易くて協議離婚だ」ということは成り立たない
事実6: 「あるものは音楽上であるということはなくて更に追及しない」ということは成り立たないとすればそれはすりゃ良くない

仮説: このパンティーは追及するということはない
1. 事実3から、推論1: "あの生産サイクルはすりゃ良いかまたは付け易いか両方である"が導かれる
2. 事実1から、推論2: "もし仮にあの生産サイクルはすりゃ良いかまたは付け易いとしたらそれは協議離婚でない"が導かれる
3. 推論1と推論2から、推論3: "あの生産サイクルは協議離婚でない"が導かれる
4. 推論3と事実2から、推論4: "「この水分代謝は協議離婚であるがしかしそれは音楽上でない」ということは成り立たない"が導かれる
5. 推論4と事実4から、仮説が否定される

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