もしこのラジオ村が進展すればあのレンズは弁解がましい
fact1: もし仮にあの特高警察が難破するとしたらこのラジオ村は進展する fact2: もしもなんらかのものがブレイクダウンするとすれば弁解がましい fact3: なにかは進展すればそれは難破する fact4: あの特高警察が難破しないとするとあのレンズは難破するしその上ブレイクダウンする fact5: あの特高警察は弁解がましかない fact6: あのレンズは難破する fact7: もし仮にあのレンズが進展するとするとこのラジオ村は弁解がましい fact8: もしもあの特高警察がブレイクダウンするとするとあのレンズは難破する fact9: 「もし仮にあの特高警察が難破するならこのラジオ村は進展しない」ということは成り立つ
void -> assump2: 以下のように仮定する。あの特高警察は難破する; fact9 & assump2 -> int1: 「このラジオ村は進展しない」ということは誤っていない; void -> assump1: 以下のように仮定する。このラジオ村は進展する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの特高警察は難破しない」ということは確かである; int3 & fact4 -> int4: あのレンズは難破するししかもブレイクダウンする; int4 -> int5: あのレンズはブレイクダウンする; fact2 -> int6: 仮にあのレンズがブレイクダウンするとすれば弁解がましい; int5 & int6 -> int7: あのレンズは弁解がましい; [assump1] & int7 -> hypothesis;
その心抑制作用は難破する
fact10 -> int8: 仮にその心抑制作用が進展すればそれは難破する;
$facts$ = fact1: もし仮にあの特高警察が難破するとしたらこのラジオ村は進展する fact2: もしもなんらかのものがブレイクダウンするとすれば弁解がましい fact3: なにかは進展すればそれは難破する fact4: あの特高警察が難破しないとするとあのレンズは難破するしその上ブレイクダウンする fact5: あの特高警察は弁解がましかない fact6: あのレンズは難破する fact7: もし仮にあのレンズが進展するとするとこのラジオ村は弁解がましい fact8: もしもあの特高警察がブレイクダウンするとするとあのレンズは難破する fact9: 「もし仮にあの特高警察が難破するならこのラジオ村は進展しない」ということは成り立つ ; $hypothesis$ = もしこのラジオ村が進展すればあのレンズは弁解がましい ; $proof$ = 
void -> assump2: 以下のように仮定する。あの特高警察は難破する; fact9 & assump2 -> int1: 「このラジオ村は進展しない」ということは誤っていない; void -> assump1: 以下のように仮定する。このラジオ村は進展する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの特高警察は難破しない」ということは確かである; int3 & fact4 -> int4: あのレンズは難破するししかもブレイクダウンする; int4 -> int5: あのレンズはブレイクダウンする; fact2 -> int6: 仮にあのレンズがブレイクダウンするとすれば弁解がましい; int5 & int6 -> int7: あのレンズは弁解がましい; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮にあの特高警察が難破するとしたらこのラジオ村は進展する
事実2: もしもなんらかのものがブレイクダウンするとすれば弁解がましい
事実3: なにかは進展すればそれは難破する
事実4: あの特高警察が難破しないとするとあのレンズは難破するしその上ブレイクダウンする
事実5: あの特高警察は弁解がましかない
事実6: あのレンズは難破する
事実7: もし仮にあのレンズが進展するとするとこのラジオ村は弁解がましい
事実8: もしもあの特高警察がブレイクダウンするとするとあのレンズは難破する
事実9: 「もし仮にあの特高警察が難破するならこのラジオ村は進展しない」ということは成り立つ

仮説: もしこのラジオ村が進展すればあのレンズは弁解がましい
1. 仮定2: 以下のように仮定する。あの特高警察は難破する
2. 事実9と仮定2から、推論1: "「このラジオ村は進展しない」ということは誤っていない"が導かれる
3. 仮定1: 以下のように仮定する。このラジオ村は進展する
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「あの特高警察は難破しない」ということは確かである"が導かれる
6. 推論3と事実4から、推論4: "あのレンズは難破するししかもブレイクダウンする"が導かれる
7. 推論4から、推論5: "あのレンズはブレイクダウンする"が導かれる
8. 事実2から、推論6: "仮にあのレンズがブレイクダウンするとすれば弁解がましい"が導かれる
9. 推論5と推論6から、推論7: "あのレンズは弁解がましい"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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