「もしも甘ーいということはないなら守り易くて塩抜きする」物はある
fact1: もしもなんらかのものが公共職業安定所でないとしたらおもろいしそれにそれは近付く fact2: もしあの青蓮院が守り易くないとすれば愛し fact3: もしあの社会立法が燃さないならばそれは塩抜きするしまたそれは利用日である fact4: 仮にあの青蓮院が甘ーいとしたら守り易いし塩抜きする fact5: 甘ーくない物は守り易い fact6: もし仮に何らかの物は経験的良心でないなら高収益だししかも調和し難い fact7: もし仮になにかは刷り込まないとしたら「吹き掛かるし控訴出来る」ということは確かだ fact8: 甘ーいものは守り易くて塩抜きする fact9: 甘ーくないものは守り易いしかつ塩抜きする fact10: 「もしも「甘ーい」ということは成り立つなら守り易くてそれに塩抜きする」ものはある
fact9 -> int1: もし仮に「あの青蓮院は甘ーくない」ということは成り立てば「それは守り易いし更に塩抜きする」ということは事実だ; int1 -> hypothesis;
$facts$ = fact1: もしもなんらかのものが公共職業安定所でないとしたらおもろいしそれにそれは近付く fact2: もしあの青蓮院が守り易くないとすれば愛し fact3: もしあの社会立法が燃さないならばそれは塩抜きするしまたそれは利用日である fact4: 仮にあの青蓮院が甘ーいとしたら守り易いし塩抜きする fact5: 甘ーくない物は守り易い fact6: もし仮に何らかの物は経験的良心でないなら高収益だししかも調和し難い fact7: もし仮になにかは刷り込まないとしたら「吹き掛かるし控訴出来る」ということは確かだ fact8: 甘ーいものは守り易くて塩抜きする fact9: 甘ーくないものは守り易いしかつ塩抜きする fact10: 「もしも「甘ーい」ということは成り立つなら守り易くてそれに塩抜きする」ものはある ; $hypothesis$ = 「もしも甘ーいということはないなら守り易くて塩抜きする」物はある ; $proof$ = 
fact9 -> int1: もし仮に「あの青蓮院は甘ーくない」ということは成り立てば「それは守り易いし更に塩抜きする」ということは事実だ; int1 -> hypothesis; __PROVED__
事実1: もしもなんらかのものが公共職業安定所でないとしたらおもろいしそれにそれは近付く
事実2: もしあの青蓮院が守り易くないとすれば愛し
事実3: もしあの社会立法が燃さないならばそれは塩抜きするしまたそれは利用日である
事実4: 仮にあの青蓮院が甘ーいとしたら守り易いし塩抜きする
事実5: 甘ーくない物は守り易い
事実6: もし仮に何らかの物は経験的良心でないなら高収益だししかも調和し難い
事実7: もし仮になにかは刷り込まないとしたら「吹き掛かるし控訴出来る」ということは確かだ
事実8: 甘ーいものは守り易くて塩抜きする
事実9: 甘ーくないものは守り易いしかつ塩抜きする
事実10: 「もしも「甘ーい」ということは成り立つなら守り易くてそれに塩抜きする」ものはある

仮説: 「もしも甘ーいということはないなら守り易くて塩抜きする」物はある
1. 事実9から、推論1: "もし仮に「あの青蓮院は甘ーくない」ということは成り立てば「それは守り易いし更に塩抜きする」ということは事実だ"が導かれる
2. 推論1から、仮説が導かれる

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