あの政府保証債は迷い易いということはないとすれば「あの十枚以上は下卑ないかまたはそれは五倍する」ということは偽である
fact1: あの政府保証債が迷い易くないとするとあの十枚以上は下卑ないかあるいはそれは五倍するかあるいは両方ともだ fact2: 仮にあの政府保証債がブロードバンド・インターネット・アクセスである一方で迷い易くないなら下卑ない fact3: もしもあの政府保証債は下卑ないとすると「あの十枚以上は下卑ないかあるいは五倍する」ということは本当である fact4: もしもあの十枚以上はブロードバンド・インターネット・アクセスでないとすれば「あの政府保証債は下卑ないかまたは迷い易いかまたは両方ともである」ということは成り立たない fact5: もし仮に「あの政府保証債は迷い易くない」ということは確かであるとするとあの十枚以上は下卑る fact6: もしもあの政府保証債は下卑ないなら「あの十枚以上は下卑ないかあるいは五倍するかまたは両方である」ということは間違いである fact7: あの政府保証債は笑い合えない fact8: あの政府保証債は五倍する fact9: あの監査報酬は下卑る fact10: 仮にあの政府保証債は迷い易いならば「あの十枚以上は下卑ないかあるいは五倍する」ということは成り立たない fact11: もし仮にあの政府保証債が下卑ないとするとあの十枚以上は下卑る fact12: どれもこれもはブロードバンド・インターネット・アクセスだ fact13: あの十枚以上は下卑る
fact12 -> int1: 「あの政府保証債はブロードバンド・インターネット・アクセスである」ということは成り立つ; void -> assump1: 以下のように仮定する。あの政府保証債は迷い易くない; int1 & assump1 -> int2: あの政府保証債はブロードバンド・インターネット・アクセスだがしかしそれは迷い易くない; int2 & fact2 -> int3: あの政府保証債は下卑ない; int3 & fact6 -> int4: 「「あの十枚以上は下卑ないかあるいはそれは五倍するかあるいは両方である」ということは成り立つ」ということは間違っている; [assump1] & int4 -> hypothesis;
$facts$ = fact1: あの政府保証債が迷い易くないとするとあの十枚以上は下卑ないかあるいはそれは五倍するかあるいは両方ともだ fact2: 仮にあの政府保証債がブロードバンド・インターネット・アクセスである一方で迷い易くないなら下卑ない fact3: もしもあの政府保証債は下卑ないとすると「あの十枚以上は下卑ないかあるいは五倍する」ということは本当である fact4: もしもあの十枚以上はブロードバンド・インターネット・アクセスでないとすれば「あの政府保証債は下卑ないかまたは迷い易いかまたは両方ともである」ということは成り立たない fact5: もし仮に「あの政府保証債は迷い易くない」ということは確かであるとするとあの十枚以上は下卑る fact6: もしもあの政府保証債は下卑ないなら「あの十枚以上は下卑ないかあるいは五倍するかまたは両方である」ということは間違いである fact7: あの政府保証債は笑い合えない fact8: あの政府保証債は五倍する fact9: あの監査報酬は下卑る fact10: 仮にあの政府保証債は迷い易いならば「あの十枚以上は下卑ないかあるいは五倍する」ということは成り立たない fact11: もし仮にあの政府保証債が下卑ないとするとあの十枚以上は下卑る fact12: どれもこれもはブロードバンド・インターネット・アクセスだ fact13: あの十枚以上は下卑る ; $hypothesis$ = あの政府保証債は迷い易いということはないとすれば「あの十枚以上は下卑ないかまたはそれは五倍する」ということは偽である ; $proof$ = 
fact12 -> int1: 「あの政府保証債はブロードバンド・インターネット・アクセスである」ということは成り立つ; void -> assump1: 以下のように仮定する。あの政府保証債は迷い易くない; int1 & assump1 -> int2: あの政府保証債はブロードバンド・インターネット・アクセスだがしかしそれは迷い易くない; int2 & fact2 -> int3: あの政府保証債は下卑ない; int3 & fact6 -> int4: 「「あの十枚以上は下卑ないかあるいはそれは五倍するかあるいは両方である」ということは成り立つ」ということは間違っている; [assump1] & int4 -> hypothesis; __PROVED__
事実1: あの政府保証債が迷い易くないとするとあの十枚以上は下卑ないかあるいはそれは五倍するかあるいは両方ともだ
事実2: 仮にあの政府保証債がブロードバンド・インターネット・アクセスである一方で迷い易くないなら下卑ない
事実3: もしもあの政府保証債は下卑ないとすると「あの十枚以上は下卑ないかあるいは五倍する」ということは本当である
事実4: もしもあの十枚以上はブロードバンド・インターネット・アクセスでないとすれば「あの政府保証債は下卑ないかまたは迷い易いかまたは両方ともである」ということは成り立たない
事実5: もし仮に「あの政府保証債は迷い易くない」ということは確かであるとするとあの十枚以上は下卑る
事実6: もしもあの政府保証債は下卑ないなら「あの十枚以上は下卑ないかあるいは五倍するかまたは両方である」ということは間違いである
事実7: あの政府保証債は笑い合えない
事実8: あの政府保証債は五倍する
事実9: あの監査報酬は下卑る
事実10: 仮にあの政府保証債は迷い易いならば「あの十枚以上は下卑ないかあるいは五倍する」ということは成り立たない
事実11: もし仮にあの政府保証債が下卑ないとするとあの十枚以上は下卑る
事実12: どれもこれもはブロードバンド・インターネット・アクセスだ
事実13: あの十枚以上は下卑る

仮説: あの政府保証債は迷い易いということはないとすれば「あの十枚以上は下卑ないかまたはそれは五倍する」ということは偽である
1. 事実12から、推論1: "「あの政府保証債はブロードバンド・インターネット・アクセスである」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。あの政府保証債は迷い易くない
3. 推論1と仮定1から、推論2: "あの政府保証債はブロードバンド・インターネット・アクセスだがしかしそれは迷い易くない"が導かれる
4. 推論2と事実2から、推論3: "あの政府保証債は下卑ない"が導かれる
5. 推論3と事実6から、推論4: "「「あの十枚以上は下卑ないかあるいはそれは五倍するかあるいは両方である」ということは成り立つ」ということは間違っている"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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