「「「雑魚寝するということはないがしかし軽侮する」ということは成り立たない」ものはある」ということは成り立つということはない
fact1: 「その支払い義務は雑魚寝するしかつ軽侮する」ということは嘘だ fact2: 「放牧地でないしさらに恒常化する」物はある fact3: その支払い義務は雑魚寝する fact4: あるものは雑魚寝するということはないけれど軽侮する fact5: もし仮にあの体温調節は結び付き易くないが脆いとすればそれは聞き易くない fact6: この破綻前は雑魚寝する fact7: もし仮に何らかのものが配分出来ないとすると結び付き易くて更にそれは脆い fact8: 脆い物は雑魚寝するけれど軽侮しない fact9: あの政府印刷局法はエロくないが軽侮する fact10: 「その支払い義務は枝分かれでない一方で尽かす」ということは成り立つということはない fact11: 「「雑魚寝するししかも軽侮する」ということは間違いな」ものはある
void -> assump1: 以下のように仮定する。その支払い義務は雑魚寝しないけどそれは軽侮する; assump1 -> int1: その支払い義務は雑魚寝しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その支払い義務は雑魚寝しないが軽侮する」ということは成り立つということはない; int3 -> hypothesis;
その支払い義務は折れ易い
fact12 -> int4: 「もし仮にその紅白粉が脆いならその紅白粉は雑魚寝する一方でそれは軽侮しない」ということは間違いでない; fact13 -> int5: もしもその紅白粉が配分出来るということはないとするとそれは結び付き易くてかつ脆い;
$facts$ = fact1: 「その支払い義務は雑魚寝するしかつ軽侮する」ということは嘘だ fact2: 「放牧地でないしさらに恒常化する」物はある fact3: その支払い義務は雑魚寝する fact4: あるものは雑魚寝するということはないけれど軽侮する fact5: もし仮にあの体温調節は結び付き易くないが脆いとすればそれは聞き易くない fact6: この破綻前は雑魚寝する fact7: もし仮に何らかのものが配分出来ないとすると結び付き易くて更にそれは脆い fact8: 脆い物は雑魚寝するけれど軽侮しない fact9: あの政府印刷局法はエロくないが軽侮する fact10: 「その支払い義務は枝分かれでない一方で尽かす」ということは成り立つということはない fact11: 「「雑魚寝するししかも軽侮する」ということは間違いな」ものはある ; $hypothesis$ = 「「「雑魚寝するということはないがしかし軽侮する」ということは成り立たない」ものはある」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その支払い義務は雑魚寝しないけどそれは軽侮する; assump1 -> int1: その支払い義務は雑魚寝しない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その支払い義務は雑魚寝しないが軽侮する」ということは成り立つということはない; int3 -> hypothesis; __DISPROVED__
事実1: 「その支払い義務は雑魚寝するしかつ軽侮する」ということは嘘だ
事実2: 「放牧地でないしさらに恒常化する」物はある
事実3: その支払い義務は雑魚寝する
事実4: あるものは雑魚寝するということはないけれど軽侮する
事実5: もし仮にあの体温調節は結び付き易くないが脆いとすればそれは聞き易くない
事実6: この破綻前は雑魚寝する
事実7: もし仮に何らかのものが配分出来ないとすると結び付き易くて更にそれは脆い
事実8: 脆い物は雑魚寝するけれど軽侮しない
事実9: あの政府印刷局法はエロくないが軽侮する
事実10: 「その支払い義務は枝分かれでない一方で尽かす」ということは成り立つということはない
事実11: 「「雑魚寝するししかも軽侮する」ということは間違いな」ものはある

仮説: 「「「雑魚寝するということはないがしかし軽侮する」ということは成り立たない」ものはある」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。その支払い義務は雑魚寝しないけどそれは軽侮する
2. 仮定1から、推論1: "その支払い義務は雑魚寝しない"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その支払い義務は雑魚寝しないが軽侮する」ということは成り立つということはない"が導かれる
5. 推論3から、仮説が否定される

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