この内部規程は雑誌作りだ
fact1: そのＡワンは減退する fact2: もし仮にこの内部規程は雑誌作りでないならば「あの革命後はすごーいししかもうねり出す」ということは成り立たない fact3: 「「なにがしかの物はうねり出すし侵入し易い」ということは事実だ」ということは事実でないなら「それは尊ばない」ということは真実である fact4: もしこの福島県政汚職事件は減退するとすると「あの革命後は耐え難い」ということは真実である fact5: もし「あの革命後はすごーいしさらにうねり出す」ということは誤っているとすると耐え難くない fact6: この福島県政汚職事件は減退する fact7: もし仮にあの革命後がうねり出すということはないとすれば耐え難くない
void -> assump1: 以下のように仮定する。この内部規程は雑誌作りでない; fact2 & assump1 -> int1: 「あの革命後はすごーいしうねり出す」ということは誤っている; int1 & fact5 -> int2: あの革命後は耐え難くない; fact6 & fact4 -> int3: あの革命後は耐え難い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
もし「そのベルギー法はうねり出すし侵入し易い」ということは成り立たないとすればそれは尊ばない
fact8 -> hypothesis;
$facts$ = fact1: そのＡワンは減退する fact2: もし仮にこの内部規程は雑誌作りでないならば「あの革命後はすごーいししかもうねり出す」ということは成り立たない fact3: 「「なにがしかの物はうねり出すし侵入し易い」ということは事実だ」ということは事実でないなら「それは尊ばない」ということは真実である fact4: もしこの福島県政汚職事件は減退するとすると「あの革命後は耐え難い」ということは真実である fact5: もし「あの革命後はすごーいしさらにうねり出す」ということは誤っているとすると耐え難くない fact6: この福島県政汚職事件は減退する fact7: もし仮にあの革命後がうねり出すということはないとすれば耐え難くない ; $hypothesis$ = この内部規程は雑誌作りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この内部規程は雑誌作りでない; fact2 & assump1 -> int1: 「あの革命後はすごーいしうねり出す」ということは誤っている; int1 & fact5 -> int2: あの革命後は耐え難くない; fact6 & fact4 -> int3: あの革命後は耐え難い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: そのＡワンは減退する
事実2: もし仮にこの内部規程は雑誌作りでないならば「あの革命後はすごーいししかもうねり出す」ということは成り立たない
事実3: 「「なにがしかの物はうねり出すし侵入し易い」ということは事実だ」ということは事実でないなら「それは尊ばない」ということは真実である
事実4: もしこの福島県政汚職事件は減退するとすると「あの革命後は耐え難い」ということは真実である
事実5: もし「あの革命後はすごーいしさらにうねり出す」ということは誤っているとすると耐え難くない
事実6: この福島県政汚職事件は減退する
事実7: もし仮にあの革命後がうねり出すということはないとすれば耐え難くない

仮説: この内部規程は雑誌作りだ
1. 仮定1: 以下のように仮定する。この内部規程は雑誌作りでない
2. 事実2と仮定1から、推論1: "「あの革命後はすごーいしうねり出す」ということは誤っている"が導かれる
3. 推論1と事実5から、推論2: "あの革命後は耐え難くない"が導かれる
4. 事実6と事実4から、推論3: "あの革命後は耐え難い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

よって、仮説が証明されました。