もしあの降誕が住居であるということはないならばこの更生手続きは行い易くて罹患し易い
fact1: 社会党系は祝砲である fact2: 仮に「あの石油輸送は著者である」ということは確かだとすればそれは社会党系である fact3: その近衛は赤系でない fact4: もしあの石油輸送が祝砲だとすればこの更生手続きは行い易い fact5: もし「その練習法はおわす一方でそれは乏しいということはない」ということは成り立たないとしたらあの石油輸送は著者だ fact6: 「その近衛は意味深いかもしくは赤系である」ということは成り立たない fact7: もし仮に「「「意味深いかまたは赤系であるかあるいは両方ともである」ということは誤りでない」ということは誤っている」ものがあるならばあの更生手続きは罹患し易い fact8: もしも「あの降誕は住居でない」ということは本当であるなら「その練習法はおわすけれど乏しいということはない」ということは嘘である
void -> assump1: 以下のように仮定する。あの降誕は住居でない; fact8 & assump1 -> int1: 「その練習法はおわすけど乏しくない」ということは成り立たない; int1 & fact5 -> int2: あの石油輸送は著者だ; int2 & fact2 -> int3: あの石油輸送は社会党系だ; fact1 -> int4: 「もし仮にあの石油輸送が社会党系だとするとあの石油輸送は祝砲である」ということは成り立つ; int3 & int4 -> int5: あの石油輸送は祝砲である; int5 & fact4 -> int6: この更生手続きは行い易い; fact6 -> int7: 「「意味深いかもしくは赤系であるかもしくは両方である」ということは事実と異なる」物はある; int7 & fact7 -> int8: 「この更生手続きは罹患し易い」ということは成り立つ; int6 & int8 -> int9: この更生手続きが行い易いしその上罹患し易い; [assump1] & int9 -> hypothesis;
$facts$ = fact1: 社会党系は祝砲である fact2: 仮に「あの石油輸送は著者である」ということは確かだとすればそれは社会党系である fact3: その近衛は赤系でない fact4: もしあの石油輸送が祝砲だとすればこの更生手続きは行い易い fact5: もし「その練習法はおわす一方でそれは乏しいということはない」ということは成り立たないとしたらあの石油輸送は著者だ fact6: 「その近衛は意味深いかもしくは赤系である」ということは成り立たない fact7: もし仮に「「「意味深いかまたは赤系であるかあるいは両方ともである」ということは誤りでない」ということは誤っている」ものがあるならばあの更生手続きは罹患し易い fact8: もしも「あの降誕は住居でない」ということは本当であるなら「その練習法はおわすけれど乏しいということはない」ということは嘘である ; $hypothesis$ = もしあの降誕が住居であるということはないならばこの更生手続きは行い易くて罹患し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの降誕は住居でない; fact8 & assump1 -> int1: 「その練習法はおわすけど乏しくない」ということは成り立たない; int1 & fact5 -> int2: あの石油輸送は著者だ; int2 & fact2 -> int3: あの石油輸送は社会党系だ; fact1 -> int4: 「もし仮にあの石油輸送が社会党系だとするとあの石油輸送は祝砲である」ということは成り立つ; int3 & int4 -> int5: あの石油輸送は祝砲である; int5 & fact4 -> int6: この更生手続きは行い易い; fact6 -> int7: 「「意味深いかもしくは赤系であるかもしくは両方である」ということは事実と異なる」物はある; int7 & fact7 -> int8: 「この更生手続きは罹患し易い」ということは成り立つ; int6 & int8 -> int9: この更生手続きが行い易いしその上罹患し易い; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 社会党系は祝砲である
事実2: 仮に「あの石油輸送は著者である」ということは確かだとすればそれは社会党系である
事実3: その近衛は赤系でない
事実4: もしあの石油輸送が祝砲だとすればこの更生手続きは行い易い
事実5: もし「その練習法はおわす一方でそれは乏しいということはない」ということは成り立たないとしたらあの石油輸送は著者だ
事実6: 「その近衛は意味深いかもしくは赤系である」ということは成り立たない
事実7: もし仮に「「「意味深いかまたは赤系であるかあるいは両方ともである」ということは誤りでない」ということは誤っている」ものがあるならばあの更生手続きは罹患し易い
事実8: もしも「あの降誕は住居でない」ということは本当であるなら「その練習法はおわすけれど乏しいということはない」ということは嘘である

仮説: もしあの降誕が住居であるということはないならばこの更生手続きは行い易くて罹患し易い
1. 仮定1: 以下のように仮定する。あの降誕は住居でない
2. 事実8と仮定1から、推論1: "「その練習法はおわすけど乏しくない」ということは成り立たない"が導かれる
3. 推論1と事実5から、推論2: "あの石油輸送は著者だ"が導かれる
4. 推論2と事実2から、推論3: "あの石油輸送は社会党系だ"が導かれる
5. 事実1から、推論4: "「もし仮にあの石油輸送が社会党系だとするとあの石油輸送は祝砲である」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "あの石油輸送は祝砲である"が導かれる
7. 推論5と事実4から、推論6: "この更生手続きは行い易い"が導かれる
8. 事実6から、推論7: "「「意味深いかもしくは赤系であるかもしくは両方である」ということは事実と異なる」物はある"が導かれる
9. 推論7と事実7から、推論8: "「この更生手続きは罹患し易い」ということは成り立つ"が導かれる
10. 推論6と推論8から、推論9: "この更生手続きが行い易いしその上罹患し易い"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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