あの陶製は唸り続ける
fact1: 「「立論しない」ということは確かである」ものはある fact2: もし仮になにかは立論しないとしたら「それはレギュラー出演するしかつそれは唸り続けるということはない」ということは嘘だ fact3: 仮に「立論しない」ものはあるとしたら「あの陶製は頑張る一方で甘ったるいということはない」ということは嘘だ fact4: もし仮に「なにかは頑張るけど甘ったるくない」ということは間違いであるとしたら唸り続けない
fact1 & fact3 -> int1: 「あの陶製は頑張るが甘ったるくない」ということは本当でない; fact4 -> int2: もし仮に「あの陶製は頑張るが甘ったるくない」ということは成り立たないならばそれは唸り続けない; int1 & int2 -> hypothesis;
「その資産売却はレギュラー出演する一方で唸り続けるということはない」ということは間違いだ
fact5 -> int3: その資産売却は立論しないとすれば「それはレギュラー出演するしそれに唸り続けない」ということは間違っている;
$facts$ = fact1: 「「立論しない」ということは確かである」ものはある fact2: もし仮になにかは立論しないとしたら「それはレギュラー出演するしかつそれは唸り続けるということはない」ということは嘘だ fact3: 仮に「立論しない」ものはあるとしたら「あの陶製は頑張る一方で甘ったるいということはない」ということは嘘だ fact4: もし仮に「なにかは頑張るけど甘ったるくない」ということは間違いであるとしたら唸り続けない ; $hypothesis$ = あの陶製は唸り続ける ; $proof$ = 
fact1 & fact3 -> int1: 「あの陶製は頑張るが甘ったるくない」ということは本当でない; fact4 -> int2: もし仮に「あの陶製は頑張るが甘ったるくない」ということは成り立たないならばそれは唸り続けない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「「立論しない」ということは確かである」ものはある
事実2: もし仮になにかは立論しないとしたら「それはレギュラー出演するしかつそれは唸り続けるということはない」ということは嘘だ
事実3: 仮に「立論しない」ものはあるとしたら「あの陶製は頑張る一方で甘ったるいということはない」ということは嘘だ
事実4: もし仮に「なにかは頑張るけど甘ったるくない」ということは間違いであるとしたら唸り続けない

仮説: あの陶製は唸り続ける
1. 事実1と事実3から、推論1: "「あの陶製は頑張るが甘ったるくない」ということは本当でない"が導かれる
2. 事実4から、推論2: "もし仮に「あの陶製は頑張るが甘ったるくない」ということは成り立たないならばそれは唸り続けない"が導かれる
3. 推論1と推論2から、仮説が否定される

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