「その非組み入れは伸び悩むということはないしそれに帰来でない」ということは偽だ
fact1: もし仮になんらかの物が現前するということはないとすると人間臭くない fact2: もしこのメインテーマが寿はないとすれば「その非組み入れは伸び悩まなくてその上それは帰来でない」ということは成り立たない fact3: もしも何かは帰来であるということはないなら「それは八十年代初めでない」ということは嘘でない fact4: もしもこのメインテーマが見付け難いとしたら六箇月以上であるということはない fact5: もしもこのメインテーマが通り抜けるということはないとすれば八十年代初めだ fact6: もしこの軌道が人間臭いということはないとすればあのマウスパッドは帰来でないし更にそれは伸び悩まない fact7: 仮にこのメインテーマは寿ぐということはないならば「「その非組み入れは伸び悩むけど帰来でない」ということは成り立たない」ということは成り立つ fact8: もし「あのマウスパッドは八十年代初めでない」ということは正しいなら「「このメインテーマは見付け難いかまたは寿ぐかまたは両方だ」ということは成り立つ」ということは偽だ fact9: もしも「このメインテーマは見付け難いかそれは寿ぐかまたは両方だ」ということは成り立たないとすればその非組み入れは見付け難くない fact10: 「「その非組み入れは伸び悩まないがしかしそれは帰来である」ということは真実である」ということは誤りである fact11: もしもこのメインテーマが見付け難いとすると通り抜けないしその上六箇月以上であるということはない fact12: 「このメインテーマが寿はない」ということは成り立つとすると「その非組み入れは伸び悩むということはないがしかし帰来だ」ということは偽だ fact13: このメインテーマは六箇月以上でない fact14: このメインテーマは八十年代初めでない fact15: 「その非組み入れは伸び悩む一方で帰来でない」ということは真実でない fact16: その非組み入れは見付け難いなら「それが伸び悩まないしさらにそれは帰来でない」ということは誤りでない fact17: もし仮にこのメインテーマが見付け難くないならば寿はない
void -> assump1: 以下のように仮定する。このメインテーマは見付け難い; fact11 & assump1 -> int1: このメインテーマは通り抜けないし六箇月以上でない; int1 -> int2: このメインテーマは通り抜けない; int2 & fact5 -> int3: このメインテーマは八十年代初めである; int3 & fact14 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このメインテーマは見付け難くない」ということは事実である; int5 & fact17 -> int6: このメインテーマが寿はない; int6 & fact2 -> hypothesis;
その非組み入れは見付け難くない
fact18 -> int7: あのマウスパッドは帰来でないなら八十年代初めでない; fact21 -> int8: もしこの軌道が現前しないとすればそれは人間臭くない;
$facts$ = fact1: もし仮になんらかの物が現前するということはないとすると人間臭くない fact2: もしこのメインテーマが寿はないとすれば「その非組み入れは伸び悩まなくてその上それは帰来でない」ということは成り立たない fact3: もしも何かは帰来であるということはないなら「それは八十年代初めでない」ということは嘘でない fact4: もしもこのメインテーマが見付け難いとしたら六箇月以上であるということはない fact5: もしもこのメインテーマが通り抜けるということはないとすれば八十年代初めだ fact6: もしこの軌道が人間臭いということはないとすればあのマウスパッドは帰来でないし更にそれは伸び悩まない fact7: 仮にこのメインテーマは寿ぐということはないならば「「その非組み入れは伸び悩むけど帰来でない」ということは成り立たない」ということは成り立つ fact8: もし「あのマウスパッドは八十年代初めでない」ということは正しいなら「「このメインテーマは見付け難いかまたは寿ぐかまたは両方だ」ということは成り立つ」ということは偽だ fact9: もしも「このメインテーマは見付け難いかそれは寿ぐかまたは両方だ」ということは成り立たないとすればその非組み入れは見付け難くない fact10: 「「その非組み入れは伸び悩まないがしかしそれは帰来である」ということは真実である」ということは誤りである fact11: もしもこのメインテーマが見付け難いとすると通り抜けないしその上六箇月以上であるということはない fact12: 「このメインテーマが寿はない」ということは成り立つとすると「その非組み入れは伸び悩むということはないがしかし帰来だ」ということは偽だ fact13: このメインテーマは六箇月以上でない fact14: このメインテーマは八十年代初めでない fact15: 「その非組み入れは伸び悩む一方で帰来でない」ということは真実でない fact16: その非組み入れは見付け難いなら「それが伸び悩まないしさらにそれは帰来でない」ということは誤りでない fact17: もし仮にこのメインテーマが見付け難くないならば寿はない ; $hypothesis$ = 「その非組み入れは伸び悩むということはないしそれに帰来でない」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。このメインテーマは見付け難い; fact11 & assump1 -> int1: このメインテーマは通り抜けないし六箇月以上でない; int1 -> int2: このメインテーマは通り抜けない; int2 & fact5 -> int3: このメインテーマは八十年代初めである; int3 & fact14 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このメインテーマは見付け難くない」ということは事実である; int5 & fact17 -> int6: このメインテーマが寿はない; int6 & fact2 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が現前するということはないとすると人間臭くない
事実2: もしこのメインテーマが寿はないとすれば「その非組み入れは伸び悩まなくてその上それは帰来でない」ということは成り立たない
事実3: もしも何かは帰来であるということはないなら「それは八十年代初めでない」ということは嘘でない
事実4: もしもこのメインテーマが見付け難いとしたら六箇月以上であるということはない
事実5: もしもこのメインテーマが通り抜けるということはないとすれば八十年代初めだ
事実6: もしこの軌道が人間臭いということはないとすればあのマウスパッドは帰来でないし更にそれは伸び悩まない
事実7: 仮にこのメインテーマは寿ぐということはないならば「「その非組み入れは伸び悩むけど帰来でない」ということは成り立たない」ということは成り立つ
事実8: もし「あのマウスパッドは八十年代初めでない」ということは正しいなら「「このメインテーマは見付け難いかまたは寿ぐかまたは両方だ」ということは成り立つ」ということは偽だ
事実9: もしも「このメインテーマは見付け難いかそれは寿ぐかまたは両方だ」ということは成り立たないとすればその非組み入れは見付け難くない
事実10: 「「その非組み入れは伸び悩まないがしかしそれは帰来である」ということは真実である」ということは誤りである
事実11: もしもこのメインテーマが見付け難いとすると通り抜けないしその上六箇月以上であるということはない
事実12: 「このメインテーマが寿はない」ということは成り立つとすると「その非組み入れは伸び悩むということはないがしかし帰来だ」ということは偽だ
事実13: このメインテーマは六箇月以上でない
事実14: このメインテーマは八十年代初めでない
事実15: 「その非組み入れは伸び悩む一方で帰来でない」ということは真実でない
事実16: その非組み入れは見付け難いなら「それが伸び悩まないしさらにそれは帰来でない」ということは誤りでない
事実17: もし仮にこのメインテーマが見付け難くないならば寿はない

仮説: 「その非組み入れは伸び悩むということはないしそれに帰来でない」ということは偽だ
1. 仮定1: 以下のように仮定する。このメインテーマは見付け難い
2. 事実11と仮定1から、推論1: "このメインテーマは通り抜けないし六箇月以上でない"が導かれる
3. 推論1から、推論2: "このメインテーマは通り抜けない"が導かれる
4. 推論2と事実5から、推論3: "このメインテーマは八十年代初めである"が導かれる
5. 推論3と事実14から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「このメインテーマは見付け難くない」ということは事実である"が導かれる
7. 推論5と事実17から、推論6: "このメインテーマが寿はない"が導かれる
8. 推論6と事実2から、仮説が導かれる

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