この状況判断力はリスクアセットでない
fact1: もし仮にその受給が比較し難くないとすればこの状況判断力はちっこくないしそれは比較し難くない fact2: もしちっこくないものは鋳ないなら「拠出出来ない」ということは成り立つ fact3: あの福祉改革は静置する fact4: もし仮にその受給は比較し難いとすると「それは親しみ易いけれど飲み難くない」ということは間違っている fact5: ちっこくないし比較し難いということはない物はリスクアセットでない fact6: この偽終止は静置する fact7: もし仮に「その受給はアベンジャーＬＶだ」ということは本当であるならあの福祉改革は静置しない fact8: この状況判断力は静置しない fact9: 「「とあるものは親しみ易いがそれは飲み難くない」ということは成り立たないならアベンジャーＬＶだ」ということは正しい
void -> assump1: 以下のように仮定する。その受給は比較し難い; fact4 & assump1 -> int1: 「その受給は親しみ易いがしかし飲み難くない」ということは誤りである; fact9 -> int2: 「その受給は親しみ易いがしかし飲み難いということはない」ということは成り立たないとすればそれはアベンジャーＬＶだ; int1 & int2 -> int3: その受給はアベンジャーＬＶである; int3 & fact7 -> int4: あの福祉改革は静置しない; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: その受給は比較し難くない; int6 & fact1 -> int7: この状況判断力はちっこくないし比較し難くない; fact5 -> int8: この状況判断力はちっこくないしその上比較し難くないとしたらリスクアセットであるということはない; int7 & int8 -> hypothesis;
もしもあの戦後民主主義はちっこくないしそれに鋳ないならば拠出出来ない
fact10 -> hypothesis;
$facts$ = fact1: もし仮にその受給が比較し難くないとすればこの状況判断力はちっこくないしそれは比較し難くない fact2: もしちっこくないものは鋳ないなら「拠出出来ない」ということは成り立つ fact3: あの福祉改革は静置する fact4: もし仮にその受給は比較し難いとすると「それは親しみ易いけれど飲み難くない」ということは間違っている fact5: ちっこくないし比較し難いということはない物はリスクアセットでない fact6: この偽終止は静置する fact7: もし仮に「その受給はアベンジャーＬＶだ」ということは本当であるならあの福祉改革は静置しない fact8: この状況判断力は静置しない fact9: 「「とあるものは親しみ易いがそれは飲み難くない」ということは成り立たないならアベンジャーＬＶだ」ということは正しい ; $hypothesis$ = この状況判断力はリスクアセットでない ; $proof$ = 
void -> assump1: 以下のように仮定する。その受給は比較し難い; fact4 & assump1 -> int1: 「その受給は親しみ易いがしかし飲み難くない」ということは誤りである; fact9 -> int2: 「その受給は親しみ易いがしかし飲み難いということはない」ということは成り立たないとすればそれはアベンジャーＬＶだ; int1 & int2 -> int3: その受給はアベンジャーＬＶである; int3 & fact7 -> int4: あの福祉改革は静置しない; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> int6: その受給は比較し難くない; int6 & fact1 -> int7: この状況判断力はちっこくないし比較し難くない; fact5 -> int8: この状況判断力はちっこくないしその上比較し難くないとしたらリスクアセットであるということはない; int7 & int8 -> hypothesis; __PROVED__
事実1: もし仮にその受給が比較し難くないとすればこの状況判断力はちっこくないしそれは比較し難くない
事実2: もしちっこくないものは鋳ないなら「拠出出来ない」ということは成り立つ
事実3: あの福祉改革は静置する
事実4: もし仮にその受給は比較し難いとすると「それは親しみ易いけれど飲み難くない」ということは間違っている
事実5: ちっこくないし比較し難いということはない物はリスクアセットでない
事実6: この偽終止は静置する
事実7: もし仮に「その受給はアベンジャーＬＶだ」ということは本当であるならあの福祉改革は静置しない
事実8: この状況判断力は静置しない
事実9: 「「とあるものは親しみ易いがそれは飲み難くない」ということは成り立たないならアベンジャーＬＶだ」ということは正しい

仮説: この状況判断力はリスクアセットでない
1. 仮定1: 以下のように仮定する。その受給は比較し難い
2. 事実4と仮定1から、推論1: "「その受給は親しみ易いがしかし飲み難くない」ということは誤りである"が導かれる
3. 事実9から、推論2: "「その受給は親しみ易いがしかし飲み難いということはない」ということは成り立たないとすればそれはアベンジャーＬＶだ"が導かれる
4. 推論1と推論2から、推論3: "その受給はアベンジャーＬＶである"が導かれる
5. 推論3と事実7から、推論4: "あの福祉改革は静置しない"が導かれる
6. 推論4と事実3から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その受給は比較し難くない"が導かれる
8. 推論6と事実1から、推論7: "この状況判断力はちっこくないし比較し難くない"が導かれる
9. 事実5から、推論8: "この状況判断力はちっこくないしその上比較し難くないとしたらリスクアセットであるということはない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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