その改正草案はビニール糸であるということはない
fact1: もしも「「如かなくて改悛しない」ということは偽な」ものがあるとすればあの粒子性は如く fact2: 仮に「なんらかの物は如かなくてまた改悛しない」ということは間違いだとしたらそれは打ち上がり易いということはない fact3: その他職種は誘発し易い fact4: もし何らかのものは御与えに成らないとすれば「如かなくてその上改悛しない」ということは誤りだ fact5: 「改悛する」物があればあの粒子性は如く fact6: 「揮毫しなくて打ち上がり易くない」ものはある fact7: その改正草案がビニール糸だしさらに打ち上がり易いとすると揮毫しない fact8: 「「打ち上がり易いけれど揮毫しない」ということは嘘である」ものはある fact9: 「「如かないし改悛しない」ということは成り立たない」ものはある fact10: その改正草案は打ち上がり易い fact11: その改正草案が揮毫しないならあの粒子性は如かない fact12: もしあの粒子性が揮毫しなくてそれにそれがビニール糸でないとすればその改正草案はビニール糸である fact13: もし「なにかは見せ場であるかそれは辛抱強いか両方だ」ということは事実と異なれば「御与えに成らない」ということは事実である fact14: もし仮にその改正草案がビニール糸だし如けば揮毫しない fact15: あの粒子性は根気良い fact16: あの粒子性は改悛しない
void -> assump1: 以下のように仮定する。その改正草案はビニール糸だ; assump1 & fact10 -> int1: その改正草案はビニール糸だしさらに打ち上がり易い; int1 & fact7 -> int2: その改正草案は揮毫しない; int2 & fact11 -> int3: あの粒子性は如かない; fact9 & fact1 -> int4: あの粒子性は如く; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
その改正草案はビニール糸だ
fact17 -> int6: 仮に「あの粒子性は如かなくて加えて改悛しない」ということは嘘だとすれば打ち上がり易くない; fact19 -> int7: もしもあの粒子性は御与えに成らないとすれば「如かなくて改悛しない」ということは事実でない; fact20 -> int8: 仮に「あの粒子性は見せ場であるかそれは辛抱強い」ということは嘘であるとすれば御与えに成らない;
$facts$ = fact1: もしも「「如かなくて改悛しない」ということは偽な」ものがあるとすればあの粒子性は如く fact2: 仮に「なんらかの物は如かなくてまた改悛しない」ということは間違いだとしたらそれは打ち上がり易いということはない fact3: その他職種は誘発し易い fact4: もし何らかのものは御与えに成らないとすれば「如かなくてその上改悛しない」ということは誤りだ fact5: 「改悛する」物があればあの粒子性は如く fact6: 「揮毫しなくて打ち上がり易くない」ものはある fact7: その改正草案がビニール糸だしさらに打ち上がり易いとすると揮毫しない fact8: 「「打ち上がり易いけれど揮毫しない」ということは嘘である」ものはある fact9: 「「如かないし改悛しない」ということは成り立たない」ものはある fact10: その改正草案は打ち上がり易い fact11: その改正草案が揮毫しないならあの粒子性は如かない fact12: もしあの粒子性が揮毫しなくてそれにそれがビニール糸でないとすればその改正草案はビニール糸である fact13: もし「なにかは見せ場であるかそれは辛抱強いか両方だ」ということは事実と異なれば「御与えに成らない」ということは事実である fact14: もし仮にその改正草案がビニール糸だし如けば揮毫しない fact15: あの粒子性は根気良い fact16: あの粒子性は改悛しない ; $hypothesis$ = その改正草案はビニール糸であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その改正草案はビニール糸だ; assump1 & fact10 -> int1: その改正草案はビニール糸だしさらに打ち上がり易い; int1 & fact7 -> int2: その改正草案は揮毫しない; int2 & fact11 -> int3: あの粒子性は如かない; fact9 & fact1 -> int4: あの粒子性は如く; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしも「「如かなくて改悛しない」ということは偽な」ものがあるとすればあの粒子性は如く
事実2: 仮に「なんらかの物は如かなくてまた改悛しない」ということは間違いだとしたらそれは打ち上がり易いということはない
事実3: その他職種は誘発し易い
事実4: もし何らかのものは御与えに成らないとすれば「如かなくてその上改悛しない」ということは誤りだ
事実5: 「改悛する」物があればあの粒子性は如く
事実6: 「揮毫しなくて打ち上がり易くない」ものはある
事実7: その改正草案がビニール糸だしさらに打ち上がり易いとすると揮毫しない
事実8: 「「打ち上がり易いけれど揮毫しない」ということは嘘である」ものはある
事実9: 「「如かないし改悛しない」ということは成り立たない」ものはある
事実10: その改正草案は打ち上がり易い
事実11: その改正草案が揮毫しないならあの粒子性は如かない
事実12: もしあの粒子性が揮毫しなくてそれにそれがビニール糸でないとすればその改正草案はビニール糸である
事実13: もし「なにかは見せ場であるかそれは辛抱強いか両方だ」ということは事実と異なれば「御与えに成らない」ということは事実である
事実14: もし仮にその改正草案がビニール糸だし如けば揮毫しない
事実15: あの粒子性は根気良い
事実16: あの粒子性は改悛しない

仮説: その改正草案はビニール糸であるということはない
1. 仮定1: 以下のように仮定する。その改正草案はビニール糸だ
2. 仮定1と事実10から、推論1: "その改正草案はビニール糸だしさらに打ち上がり易い"が導かれる
3. 推論1と事実7から、推論2: "その改正草案は揮毫しない"が導かれる
4. 推論2と事実11から、推論3: "あの粒子性は如かない"が導かれる
5. 事実9と事実1から、推論4: "あの粒子性は如く"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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