その一定は核戦争後でないしさらに誑し込まない
fact1: その超高齢社会は凝り過ぎない fact2: もしもこの最終仕入れ原価法が御逃げに成らないとするとその一定は核戦争後でないしかつ誑し込むということはない fact3: 仮に「なにがしかの物は隠れ里であるしその上それは吸い寄せる」ということは確かでないならば隠れ里でない fact4: もしも「この最終仕入れ原価法は報告体制でなくて更に恥じない」ということは偽ならあの近位尿細管は媚びる fact5: もしもなんらかの物は媚びるし御逃げに成れば「その超高齢社会は隠れ里だ」ということは事実である fact6: もし仮になんらかのものは凝り過ぎないとしたら「それは隠れ里だし吸い寄せる」ということは偽だ fact7: 「この最終仕入れ原価法は報告体制でないしそれは恥じない」ということは誤りだ fact8: もしもあの近位尿細管は御逃げに成らないならば「この張力は誑し込まない」ということは真実である fact9: もしもこの張力は誑し込まないとすると「その一定は核戦争後でないしまた誑し込まない」ということは嘘だ
fact4 & fact7 -> int1: あの近位尿細管は媚びる; void -> assump1: 以下のように仮定する。あの近位尿細管は御逃げに成る; int1 & assump1 -> int2: あの近位尿細管は媚びるし御逃げに成る; int2 -> int3: なにかは媚びるしまた御逃げに成る; int3 & fact5 -> int4: その超高齢社会は隠れ里だ; fact3 -> int5: 「その超高齢社会は隠れ里で更に吸い寄せる」ということは成り立たないなら隠れ里だということはない; fact6 -> int6: 仮にその超高齢社会は凝り過ぎないとすれば「それは隠れ里だし加えて吸い寄せる」ということは誤りである; fact1 & int6 -> int7: 「その超高齢社会は隠れ里で更に吸い寄せる」ということは成り立たない; int5 & int7 -> int8: その超高齢社会は隠れ里でない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの近位尿細管は御逃げに成らない; int10 & fact8 -> int11: この張力は誑し込まない; int11 & fact9 -> hypothesis;
「その一定は核戦争後でないしさらに誑し込まない」ということは成り立つ
$facts$ = fact1: その超高齢社会は凝り過ぎない fact2: もしもこの最終仕入れ原価法が御逃げに成らないとするとその一定は核戦争後でないしかつ誑し込むということはない fact3: 仮に「なにがしかの物は隠れ里であるしその上それは吸い寄せる」ということは確かでないならば隠れ里でない fact4: もしも「この最終仕入れ原価法は報告体制でなくて更に恥じない」ということは偽ならあの近位尿細管は媚びる fact5: もしもなんらかの物は媚びるし御逃げに成れば「その超高齢社会は隠れ里だ」ということは事実である fact6: もし仮になんらかのものは凝り過ぎないとしたら「それは隠れ里だし吸い寄せる」ということは偽だ fact7: 「この最終仕入れ原価法は報告体制でないしそれは恥じない」ということは誤りだ fact8: もしもあの近位尿細管は御逃げに成らないならば「この張力は誑し込まない」ということは真実である fact9: もしもこの張力は誑し込まないとすると「その一定は核戦争後でないしまた誑し込まない」ということは嘘だ ; $hypothesis$ = その一定は核戦争後でないしさらに誑し込まない ; $proof$ = 
fact4 & fact7 -> int1: あの近位尿細管は媚びる; void -> assump1: 以下のように仮定する。あの近位尿細管は御逃げに成る; int1 & assump1 -> int2: あの近位尿細管は媚びるし御逃げに成る; int2 -> int3: なにかは媚びるしまた御逃げに成る; int3 & fact5 -> int4: その超高齢社会は隠れ里だ; fact3 -> int5: 「その超高齢社会は隠れ里で更に吸い寄せる」ということは成り立たないなら隠れ里だということはない; fact6 -> int6: 仮にその超高齢社会は凝り過ぎないとすれば「それは隠れ里だし加えて吸い寄せる」ということは誤りである; fact1 & int6 -> int7: 「その超高齢社会は隠れ里で更に吸い寄せる」ということは成り立たない; int5 & int7 -> int8: その超高齢社会は隠れ里でない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの近位尿細管は御逃げに成らない; int10 & fact8 -> int11: この張力は誑し込まない; int11 & fact9 -> hypothesis; __DISPROVED__
事実1: その超高齢社会は凝り過ぎない
事実2: もしもこの最終仕入れ原価法が御逃げに成らないとするとその一定は核戦争後でないしかつ誑し込むということはない
事実3: 仮に「なにがしかの物は隠れ里であるしその上それは吸い寄せる」ということは確かでないならば隠れ里でない
事実4: もしも「この最終仕入れ原価法は報告体制でなくて更に恥じない」ということは偽ならあの近位尿細管は媚びる
事実5: もしもなんらかの物は媚びるし御逃げに成れば「その超高齢社会は隠れ里だ」ということは事実である
事実6: もし仮になんらかのものは凝り過ぎないとしたら「それは隠れ里だし吸い寄せる」ということは偽だ
事実7: 「この最終仕入れ原価法は報告体制でないしそれは恥じない」ということは誤りだ
事実8: もしもあの近位尿細管は御逃げに成らないならば「この張力は誑し込まない」ということは真実である
事実9: もしもこの張力は誑し込まないとすると「その一定は核戦争後でないしまた誑し込まない」ということは嘘だ

仮説: その一定は核戦争後でないしさらに誑し込まない
1. 事実4と事実7から、推論1: "あの近位尿細管は媚びる"が導かれる
2. 仮定1: 以下のように仮定する。あの近位尿細管は御逃げに成る
3. 推論1と仮定1から、推論2: "あの近位尿細管は媚びるし御逃げに成る"が導かれる
4. 推論2から、推論3: "なにかは媚びるしまた御逃げに成る"が導かれる
5. 推論3と事実5から、推論4: "その超高齢社会は隠れ里だ"が導かれる
6. 事実3から、推論5: "「その超高齢社会は隠れ里で更に吸い寄せる」ということは成り立たないなら隠れ里だということはない"が導かれる
7. 事実6から、推論6: "仮にその超高齢社会は凝り過ぎないとすれば「それは隠れ里だし加えて吸い寄せる」ということは誤りである"が導かれる
8. 事実1と推論6から、推論7: "「その超高齢社会は隠れ里で更に吸い寄せる」ということは成り立たない"が導かれる
9. 推論5と推論7から、推論8: "その超高齢社会は隠れ里でない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あの近位尿細管は御逃げに成らない"が導かれる
12. 推論10と事実8から、推論11: "この張力は誑し込まない"が導かれる
13. 推論11と事実9から、仮説が否定される

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