「「サービス化であるならば彷徨する」物はある」ということは偽だ
fact1: もしも「この中心気圧はサービス化である」ということは本当であるとすると「それは奉斎するけど左右され易いということはない」ということは成り立たない fact2: 仮に「何らかの物は奉斎するけれどそれは左右され易くない」ということは偽だとすれば彷徨する fact3: あの自治体警察はサービス化だ
void -> assump1: 以下のように仮定する。この中心気圧はサービス化だ; fact1 & assump1 -> int1: 「この中心気圧は奉斎するがしかし左右され易いということはない」ということは嘘だ; fact2 -> int2: もしも「この中心気圧は奉斎するけどそれは左右され易くない」ということは事実と異なればそれは彷徨する; int1 & int2 -> int3: この中心気圧は彷徨する; [assump1] & int3 -> int4: もし仮にこの中心気圧がサービス化ならばそれは彷徨する; int4 -> hypothesis;
$facts$ = fact1: もしも「この中心気圧はサービス化である」ということは本当であるとすると「それは奉斎するけど左右され易いということはない」ということは成り立たない fact2: 仮に「何らかの物は奉斎するけれどそれは左右され易くない」ということは偽だとすれば彷徨する fact3: あの自治体警察はサービス化だ ; $hypothesis$ = 「「サービス化であるならば彷徨する」物はある」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この中心気圧はサービス化だ; fact1 & assump1 -> int1: 「この中心気圧は奉斎するがしかし左右され易いということはない」ということは嘘だ; fact2 -> int2: もしも「この中心気圧は奉斎するけどそれは左右され易くない」ということは事実と異なればそれは彷徨する; int1 & int2 -> int3: この中心気圧は彷徨する; [assump1] & int3 -> int4: もし仮にこの中心気圧がサービス化ならばそれは彷徨する; int4 -> hypothesis; __DISPROVED__
事実1: もしも「この中心気圧はサービス化である」ということは本当であるとすると「それは奉斎するけど左右され易いということはない」ということは成り立たない
事実2: 仮に「何らかの物は奉斎するけれどそれは左右され易くない」ということは偽だとすれば彷徨する
事実3: あの自治体警察はサービス化だ

仮説: 「「サービス化であるならば彷徨する」物はある」ということは偽だ
1. 仮定1: 以下のように仮定する。この中心気圧はサービス化だ
2. 事実1と仮定1から、推論1: "「この中心気圧は奉斎するがしかし左右され易いということはない」ということは嘘だ"が導かれる
3. 事実2から、推論2: "もしも「この中心気圧は奉斎するけどそれは左右され易くない」ということは事実と異なればそれは彷徨する"が導かれる
4. 推論1と推論2から、推論3: "この中心気圧は彷徨する"が導かれる
5. [仮定1]と推論3から、推論4: "もし仮にこの中心気圧がサービス化ならばそれは彷徨する"が導かれる
6. 推論4から、仮説が否定される

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