「「懐こくておまけに転移しないなら「波打たない」ということは確かな」ものはある」ということは成り立たない
fact1: もし懐こい物が転移しないなら波打つ fact2: あのルミフロンが懐こくてさらにトロール達であるとしたら零し始めない fact3: 「もし仮に懐こくて転移すれば「波打つということはない」ということは間違いでない」ものはある fact4: なにがしかの物は懐こいし更に転移するとすれば「それは波打たない」ということは成り立つ fact5: 仮にその銘仙は懐こいけれど転移するということはないならそれは波打つ fact6: 仮に懐こいものが転移しないとすれば波打たない fact7: その銘仙が懐こいしそれに転移すればそれは波打たない
fact6 -> int1: もしその銘仙は懐こいけれど転移しないとすると波打つということはない; int1 -> hypothesis;
$facts$ = fact1: もし懐こい物が転移しないなら波打つ fact2: あのルミフロンが懐こくてさらにトロール達であるとしたら零し始めない fact3: 「もし仮に懐こくて転移すれば「波打つということはない」ということは間違いでない」ものはある fact4: なにがしかの物は懐こいし更に転移するとすれば「それは波打たない」ということは成り立つ fact5: 仮にその銘仙は懐こいけれど転移するということはないならそれは波打つ fact6: 仮に懐こいものが転移しないとすれば波打たない fact7: その銘仙が懐こいしそれに転移すればそれは波打たない ; $hypothesis$ = 「「懐こくておまけに転移しないなら「波打たない」ということは確かな」ものはある」ということは成り立たない ; $proof$ = 
fact6 -> int1: もしその銘仙は懐こいけれど転移しないとすると波打つということはない; int1 -> hypothesis; __DISPROVED__
事実1: もし懐こい物が転移しないなら波打つ
事実2: あのルミフロンが懐こくてさらにトロール達であるとしたら零し始めない
事実3: 「もし仮に懐こくて転移すれば「波打つということはない」ということは間違いでない」ものはある
事実4: なにがしかの物は懐こいし更に転移するとすれば「それは波打たない」ということは成り立つ
事実5: 仮にその銘仙は懐こいけれど転移するということはないならそれは波打つ
事実6: 仮に懐こいものが転移しないとすれば波打たない
事実7: その銘仙が懐こいしそれに転移すればそれは波打たない

仮説: 「「懐こくておまけに転移しないなら「波打たない」ということは確かな」ものはある」ということは成り立たない
1. 事実6から、推論1: "もしその銘仙は懐こいけれど転移しないとすると波打つということはない"が導かれる
2. 推論1から、仮説が否定される

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