この浮きブイが災いするとすればあの事故防止は軍事活動だ
fact1: 仮に「この自由主義は締めっぽいかもしくは更生保護でない」ということは事実と異なるとしたらあの事故防止は掛かり易い fact2: もし仮にある物が災いするとしたら更生保護だ fact3: なにがしかのものが掛かり易いならばそれは軍事活動だ fact4: この浮きブイは掛かり易い fact5: その甲状腺癌は更生保護であるとすれば「この自由主義は締めっぽいということはないかまたは更生保護でないかまたは両方である」ということは偽である fact6: 仮にその甲状腺癌が更生保護だとしたらこの自由主義は締めっぽい fact7: この浮きブイが災いするとするとその甲状腺癌は更生保護だ fact8: 「この自由主義は締めっぽくないか更生保護でないかもしくはどちらもだ」ということは成り立つということはないとしたらあの事故防止は掛かり易い fact9: この自由主義は締めっぽい
void -> assump1: 以下のように仮定する。「この浮きブイは災いする」ということは成り立つ; fact7 & assump1 -> int1: その甲状腺癌は更生保護だ; int1 & fact5 -> int2: 「この自由主義は締めっぽくないかそれは更生保護でない」ということは間違っている; int2 & fact8 -> int3: あの事故防止は掛かり易い; fact3 -> int4: もしもあの事故防止が掛かり易いなら軍事活動だ; int3 & int4 -> int5: あの事故防止は軍事活動である; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 仮に「この自由主義は締めっぽいかもしくは更生保護でない」ということは事実と異なるとしたらあの事故防止は掛かり易い fact2: もし仮にある物が災いするとしたら更生保護だ fact3: なにがしかのものが掛かり易いならばそれは軍事活動だ fact4: この浮きブイは掛かり易い fact5: その甲状腺癌は更生保護であるとすれば「この自由主義は締めっぽいということはないかまたは更生保護でないかまたは両方である」ということは偽である fact6: 仮にその甲状腺癌が更生保護だとしたらこの自由主義は締めっぽい fact7: この浮きブイが災いするとするとその甲状腺癌は更生保護だ fact8: 「この自由主義は締めっぽくないか更生保護でないかもしくはどちらもだ」ということは成り立つということはないとしたらあの事故防止は掛かり易い fact9: この自由主義は締めっぽい ; $hypothesis$ = この浮きブイが災いするとすればあの事故防止は軍事活動だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この浮きブイは災いする」ということは成り立つ; fact7 & assump1 -> int1: その甲状腺癌は更生保護だ; int1 & fact5 -> int2: 「この自由主義は締めっぽくないかそれは更生保護でない」ということは間違っている; int2 & fact8 -> int3: あの事故防止は掛かり易い; fact3 -> int4: もしもあの事故防止が掛かり易いなら軍事活動だ; int3 & int4 -> int5: あの事故防止は軍事活動である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮に「この自由主義は締めっぽいかもしくは更生保護でない」ということは事実と異なるとしたらあの事故防止は掛かり易い
事実2: もし仮にある物が災いするとしたら更生保護だ
事実3: なにがしかのものが掛かり易いならばそれは軍事活動だ
事実4: この浮きブイは掛かり易い
事実5: その甲状腺癌は更生保護であるとすれば「この自由主義は締めっぽいということはないかまたは更生保護でないかまたは両方である」ということは偽である
事実6: 仮にその甲状腺癌が更生保護だとしたらこの自由主義は締めっぽい
事実7: この浮きブイが災いするとするとその甲状腺癌は更生保護だ
事実8: 「この自由主義は締めっぽくないか更生保護でないかもしくはどちらもだ」ということは成り立つということはないとしたらあの事故防止は掛かり易い
事実9: この自由主義は締めっぽい

仮説: この浮きブイが災いするとすればあの事故防止は軍事活動だ
1. 仮定1: 以下のように仮定する。「この浮きブイは災いする」ということは成り立つ
2. 事実7と仮定1から、推論1: "その甲状腺癌は更生保護だ"が導かれる
3. 推論1と事実5から、推論2: "「この自由主義は締めっぽくないかそれは更生保護でない」ということは間違っている"が導かれる
4. 推論2と事実8から、推論3: "あの事故防止は掛かり易い"が導かれる
5. 事実3から、推論4: "もしもあの事故防止が掛かり易いなら軍事活動だ"が導かれる
6. 推論3と推論4から、推論5: "あの事故防止は軍事活動である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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