もしも「「その髪ジは工業全体であるが不具でない」ということは真実でない」ということは成り立つとすればその岩塩は連想し易くない
fact1: その炭火焼きは中継するし加えて剥離し難い fact2: その髪ジが工業全体だし不具だ fact3: その炭火焼きは中継する fact4: 「その海運業は振らす」ということは確かであるとすればその髪ジは工業全体だ一方で不具でない fact5: 仮にその炭火焼きが剥離し難いけれど保険給付しないならその岩塩は連想し易いということはない fact6: 「その海運業が振らすとするとその髪ジは工業全体である」ということは真実だ fact7: その炭火焼きが工業全体でないとするとその髪ジは保険給付しない fact8: もしもその炭火焼きが保険給付するとするとその海運業は振らす fact9: その炭火焼きは不具である fact10: その髪ジは連想し易くない
void -> assump2: 以下のように仮定する。その炭火焼きは保険給付する; fact8 & assump2 -> int1: その海運業は振らす; int1 & fact4 -> int2: その髪ジは工業全体である一方でそれは不具であるということはない; void -> assump1: 以下のように仮定する。「その髪ジは工業全体であるが不具でない」ということは成り立たない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その炭火焼きは保険給付しない; fact1 -> int5: その炭火焼きは剥離し難い; int4 & int5 -> int6: その炭火焼きは剥離し難いがしかし保険給付しない; int6 & fact5 -> int7: その岩塩は連想し易くない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: その炭火焼きは中継するし加えて剥離し難い fact2: その髪ジが工業全体だし不具だ fact3: その炭火焼きは中継する fact4: 「その海運業は振らす」ということは確かであるとすればその髪ジは工業全体だ一方で不具でない fact5: 仮にその炭火焼きが剥離し難いけれど保険給付しないならその岩塩は連想し易いということはない fact6: 「その海運業が振らすとするとその髪ジは工業全体である」ということは真実だ fact7: その炭火焼きが工業全体でないとするとその髪ジは保険給付しない fact8: もしもその炭火焼きが保険給付するとするとその海運業は振らす fact9: その炭火焼きは不具である fact10: その髪ジは連想し易くない ; $hypothesis$ = もしも「「その髪ジは工業全体であるが不具でない」ということは真実でない」ということは成り立つとすればその岩塩は連想し易くない ; $proof$ = 
void -> assump2: 以下のように仮定する。その炭火焼きは保険給付する; fact8 & assump2 -> int1: その海運業は振らす; int1 & fact4 -> int2: その髪ジは工業全体である一方でそれは不具であるということはない; void -> assump1: 以下のように仮定する。「その髪ジは工業全体であるが不具でない」ということは成り立たない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その炭火焼きは保険給付しない; fact1 -> int5: その炭火焼きは剥離し難い; int4 & int5 -> int6: その炭火焼きは剥離し難いがしかし保険給付しない; int6 & fact5 -> int7: その岩塩は連想し易くない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: その炭火焼きは中継するし加えて剥離し難い
事実2: その髪ジが工業全体だし不具だ
事実3: その炭火焼きは中継する
事実4: 「その海運業は振らす」ということは確かであるとすればその髪ジは工業全体だ一方で不具でない
事実5: 仮にその炭火焼きが剥離し難いけれど保険給付しないならその岩塩は連想し易いということはない
事実6: 「その海運業が振らすとするとその髪ジは工業全体である」ということは真実だ
事実7: その炭火焼きが工業全体でないとするとその髪ジは保険給付しない
事実8: もしもその炭火焼きが保険給付するとするとその海運業は振らす
事実9: その炭火焼きは不具である
事実10: その髪ジは連想し易くない

仮説: もしも「「その髪ジは工業全体であるが不具でない」ということは真実でない」ということは成り立つとすればその岩塩は連想し易くない
1. 仮定2: 以下のように仮定する。その炭火焼きは保険給付する
2. 事実8と仮定2から、推論1: "その海運業は振らす"が導かれる
3. 推論1と事実4から、推論2: "その髪ジは工業全体である一方でそれは不具であるということはない"が導かれる
4. 仮定1: 以下のように仮定する。「その髪ジは工業全体であるが不具でない」ということは成り立たない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その炭火焼きは保険給付しない"が導かれる
7. 事実1から、推論5: "その炭火焼きは剥離し難い"が導かれる
8. 推論4と推論5から、推論6: "その炭火焼きは剥離し難いがしかし保険給付しない"が導かれる
9. 推論6と事実5から、推論7: "その岩塩は連想し易くない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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