もし仮に「あの修正作業は湯通しする」ということは真実だとすればその交付義務は事業協同組合等だ
fact1: その交付義務が男女両本位だし政要である fact2: もし仮にあの修正作業が手広いかもしくは男女両本位であるかまたは両方ならば湯通しする fact3: もし仮に手広くない物は男女両本位であるとすればそれは湯通しする fact4: 起こし難くないものは手広くないがしかし事業協同組合等である fact5: もしあの修正作業が男女両本位でないならばその交付義務は起こし難い fact6: その見直し基準は男女両本位でない fact7: 仮にあの修正作業が男女両本位でないとすればその交付義務は事業協同組合等であるしかつ起こし難い fact8: もしあの修正作業が手広いかそれは男女両本位であるか両方ともであるならば湯通ししない
void -> assump2: 以下のように仮定する。「あの修正作業は男女両本位である」ということは正しい; assump2 -> int1: あの修正作業は手広いかもしくはそれは男女両本位であるかもしくは両方である; int1 & fact8 -> int2: あの修正作業は湯通ししない; void -> assump1: 以下のように仮定する。あの修正作業は湯通しする; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの修正作業は男女両本位でない; int4 & fact7 -> int5: その交付義務は事業協同組合等だししかも起こし難い; int5 -> int6: その交付義務は事業協同組合等だ; [assump1] & int6 -> hypothesis;
その交付義務は湯通しする
fact11 -> int7: もし仮に「その交付義務は手広いということはないがしかし男女両本位だ」ということは確かだとするとそれは湯通しする; fact10 -> int8: もし仮にその交付義務が起こし難くないとすればそれは手広いということはないがしかし事業協同組合等だ; fact9 -> int9: 「その交付義務は男女両本位である」ということは本当である;
$facts$ = fact1: その交付義務が男女両本位だし政要である fact2: もし仮にあの修正作業が手広いかもしくは男女両本位であるかまたは両方ならば湯通しする fact3: もし仮に手広くない物は男女両本位であるとすればそれは湯通しする fact4: 起こし難くないものは手広くないがしかし事業協同組合等である fact5: もしあの修正作業が男女両本位でないならばその交付義務は起こし難い fact6: その見直し基準は男女両本位でない fact7: 仮にあの修正作業が男女両本位でないとすればその交付義務は事業協同組合等であるしかつ起こし難い fact8: もしあの修正作業が手広いかそれは男女両本位であるか両方ともであるならば湯通ししない ; $hypothesis$ = もし仮に「あの修正作業は湯通しする」ということは真実だとすればその交付義務は事業協同組合等だ ; $proof$ = 
void -> assump2: 以下のように仮定する。「あの修正作業は男女両本位である」ということは正しい; assump2 -> int1: あの修正作業は手広いかもしくはそれは男女両本位であるかもしくは両方である; int1 & fact8 -> int2: あの修正作業は湯通ししない; void -> assump1: 以下のように仮定する。あの修正作業は湯通しする; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの修正作業は男女両本位でない; int4 & fact7 -> int5: その交付義務は事業協同組合等だししかも起こし難い; int5 -> int6: その交付義務は事業協同組合等だ; [assump1] & int6 -> hypothesis; __PROVED__
事実1: その交付義務が男女両本位だし政要である
事実2: もし仮にあの修正作業が手広いかもしくは男女両本位であるかまたは両方ならば湯通しする
事実3: もし仮に手広くない物は男女両本位であるとすればそれは湯通しする
事実4: 起こし難くないものは手広くないがしかし事業協同組合等である
事実5: もしあの修正作業が男女両本位でないならばその交付義務は起こし難い
事実6: その見直し基準は男女両本位でない
事実7: 仮にあの修正作業が男女両本位でないとすればその交付義務は事業協同組合等であるしかつ起こし難い
事実8: もしあの修正作業が手広いかそれは男女両本位であるか両方ともであるならば湯通ししない

仮説: もし仮に「あの修正作業は湯通しする」ということは真実だとすればその交付義務は事業協同組合等だ
1. 仮定2: 以下のように仮定する。「あの修正作業は男女両本位である」ということは正しい
2. 仮定2から、推論1: "あの修正作業は手広いかもしくはそれは男女両本位であるかもしくは両方である"が導かれる
3. 推論1と事実8から、推論2: "あの修正作業は湯通ししない"が導かれる
4. 仮定1: 以下のように仮定する。あの修正作業は湯通しする
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "あの修正作業は男女両本位でない"が導かれる
7. 推論4と事実7から、推論5: "その交付義務は事業協同組合等だししかも起こし難い"が導かれる
8. 推論5から、推論6: "その交付義務は事業協同組合等だ"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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