そのＰＤＰは総事業費でない
fact1: その支給基準が贅沢するし更に円熟すればその介護・ケア問題は呼び易いということはない fact2: このコーナーコマンドは慣れ過ぎる fact3: もし仮にその支給基準が呼び易いとしたらそのＰＤＰは円熟するということはない fact4: 仮になにがしかの物が濃いならば呼び易い fact5: 仮になにかは円熟しないならば総事業費で贅沢する fact6: もし仮にそのＰＤＰが総事業費だとすればその支給基準は贅沢する fact7: その支給基準は味わうしそれに円熟する fact8: この勇名は慣れ過ぎる fact9: もし「「慣れ過ぎる」ということは事実と異なるということはない」ものがあるならその介護・ケア問題は濃い
void -> assump1: 以下のように仮定する。そのＰＤＰは総事業費だ; fact6 & assump1 -> int1: 「その支給基準は贅沢する」ということは成り立つ; fact7 -> int2: その支給基準は円熟する; int1 & int2 -> int3: その支給基準は贅沢するしかつそれは円熟する; int3 & fact1 -> int4: 「その介護・ケア問題は呼び易くない」ということは事実である; fact2 -> int5: ある物は慣れ過ぎる; int5 & fact9 -> int6: その介護・ケア問題は濃い; fact4 -> int7: もし仮にその介護・ケア問題が濃いとすると呼び易い; int6 & int7 -> int8: その介護・ケア問題は呼び易い; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
そのＰＤＰは総事業費だ
fact10 -> int10: もしそのＰＤＰは円熟しないとすれば「それは総事業費であるし贅沢する」ということは間違いでない;
$facts$ = fact1: その支給基準が贅沢するし更に円熟すればその介護・ケア問題は呼び易いということはない fact2: このコーナーコマンドは慣れ過ぎる fact3: もし仮にその支給基準が呼び易いとしたらそのＰＤＰは円熟するということはない fact4: 仮になにがしかの物が濃いならば呼び易い fact5: 仮になにかは円熟しないならば総事業費で贅沢する fact6: もし仮にそのＰＤＰが総事業費だとすればその支給基準は贅沢する fact7: その支給基準は味わうしそれに円熟する fact8: この勇名は慣れ過ぎる fact9: もし「「慣れ過ぎる」ということは事実と異なるということはない」ものがあるならその介護・ケア問題は濃い ; $hypothesis$ = そのＰＤＰは総事業費でない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＰＤＰは総事業費だ; fact6 & assump1 -> int1: 「その支給基準は贅沢する」ということは成り立つ; fact7 -> int2: その支給基準は円熟する; int1 & int2 -> int3: その支給基準は贅沢するしかつそれは円熟する; int3 & fact1 -> int4: 「その介護・ケア問題は呼び易くない」ということは事実である; fact2 -> int5: ある物は慣れ過ぎる; int5 & fact9 -> int6: その介護・ケア問題は濃い; fact4 -> int7: もし仮にその介護・ケア問題が濃いとすると呼び易い; int6 & int7 -> int8: その介護・ケア問題は呼び易い; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: その支給基準が贅沢するし更に円熟すればその介護・ケア問題は呼び易いということはない
事実2: このコーナーコマンドは慣れ過ぎる
事実3: もし仮にその支給基準が呼び易いとしたらそのＰＤＰは円熟するということはない
事実4: 仮になにがしかの物が濃いならば呼び易い
事実5: 仮になにかは円熟しないならば総事業費で贅沢する
事実6: もし仮にそのＰＤＰが総事業費だとすればその支給基準は贅沢する
事実7: その支給基準は味わうしそれに円熟する
事実8: この勇名は慣れ過ぎる
事実9: もし「「慣れ過ぎる」ということは事実と異なるということはない」ものがあるならその介護・ケア問題は濃い

仮説: そのＰＤＰは総事業費でない
1. 仮定1: 以下のように仮定する。そのＰＤＰは総事業費だ
2. 事実6と仮定1から、推論1: "「その支給基準は贅沢する」ということは成り立つ"が導かれる
3. 事実7から、推論2: "その支給基準は円熟する"が導かれる
4. 推論1と推論2から、推論3: "その支給基準は贅沢するしかつそれは円熟する"が導かれる
5. 推論3と事実1から、推論4: "「その介護・ケア問題は呼び易くない」ということは事実である"が導かれる
6. 事実2から、推論5: "ある物は慣れ過ぎる"が導かれる
7. 推論5と事実9から、推論6: "その介護・ケア問題は濃い"が導かれる
8. 事実4から、推論7: "もし仮にその介護・ケア問題が濃いとすると呼び易い"が導かれる
9. 推論6と推論7から、推論8: "その介護・ケア問題は呼び易い"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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