「そのライトアップは立法部だし更に抜き取れる」ということは成り立つということはない
fact1: もし「「「熱し易くないし回り込む」ということは成り立つ」ということは事実と異なる」物があるならばあの薬価基準は熱し易い fact2: 「「回り込む」ということは成り立つ」ものはある fact3: もしこの人口動態統計が回り込むとしたらあの薬価基準は回り込む fact4: もしそのライトアップは払い切れるということはないなら「この人口動態統計は熱し易くない一方でそれは回り込む」ということは正しくない fact5: もしもあの薬価基準が払い切れるということはないとするとこの人口動態統計は抜き取れない fact6: もし仮に立法部は形成し易くないとしたら抜き取れる fact7: 「形成し易いかまたは中立でないかもしくは両方である」ものがあるならばあの食品産業は回り込まない fact8: 「この人口動態統計は立法部であるししかも抜き取れる」ということは成り立たない fact9: もし仮に「回り込む」物はあるとすると「あの薬価基準は払い切れるしさらに経口感染する」ということは間違いである fact10: もし仮に「あの薬価基準は回り込む」ということは確かであるとしたらそのライトアップは立法部だ fact11: 仮にそのライトアップは中立であるとしたら立法部だが形成し易くない fact12: 仮にこの人口動態統計は抜き取れるということはないとすれば「そのライトアップは立法部であるし抜き取れる」ということは嘘である fact13: すべてのものは形成し易いかもしくはそれは中立でないかもしくは両方ともだ fact14: もしも「あの薬価基準は払い切れるしかつ経口感染する」ということは嘘であるとすればこの人口動態統計は抜き取れない fact15: もしそのライトアップは抜き取れないなら「この人口動態統計は立法部であるししかも抜き取れる」ということは事実と異なる fact16: もし仮に何らかの物が抜き取れるとすると払い切れないし経口感染するということはない
fact2 & fact9 -> int1: 「あの薬価基準は払い切れるしおまけに経口感染する」ということは間違っている; int1 & fact14 -> int2: 「この人口動態統計は抜き取れるということはない」ということは真実である; int2 & fact12 -> hypothesis;
そのライトアップは立法部で抜き取れる
fact19 -> int3: その開放政策は形成し易いかもしくは中立でない; int3 -> int4: 「形成し易いかあるいは中立でないか両方である」ものはある; int4 & fact17 -> int5: あの食品産業は回り込まない;
$facts$ = fact1: もし「「「熱し易くないし回り込む」ということは成り立つ」ということは事実と異なる」物があるならばあの薬価基準は熱し易い fact2: 「「回り込む」ということは成り立つ」ものはある fact3: もしこの人口動態統計が回り込むとしたらあの薬価基準は回り込む fact4: もしそのライトアップは払い切れるということはないなら「この人口動態統計は熱し易くない一方でそれは回り込む」ということは正しくない fact5: もしもあの薬価基準が払い切れるということはないとするとこの人口動態統計は抜き取れない fact6: もし仮に立法部は形成し易くないとしたら抜き取れる fact7: 「形成し易いかまたは中立でないかもしくは両方である」ものがあるならばあの食品産業は回り込まない fact8: 「この人口動態統計は立法部であるししかも抜き取れる」ということは成り立たない fact9: もし仮に「回り込む」物はあるとすると「あの薬価基準は払い切れるしさらに経口感染する」ということは間違いである fact10: もし仮に「あの薬価基準は回り込む」ということは確かであるとしたらそのライトアップは立法部だ fact11: 仮にそのライトアップは中立であるとしたら立法部だが形成し易くない fact12: 仮にこの人口動態統計は抜き取れるということはないとすれば「そのライトアップは立法部であるし抜き取れる」ということは嘘である fact13: すべてのものは形成し易いかもしくはそれは中立でないかもしくは両方ともだ fact14: もしも「あの薬価基準は払い切れるしかつ経口感染する」ということは嘘であるとすればこの人口動態統計は抜き取れない fact15: もしそのライトアップは抜き取れないなら「この人口動態統計は立法部であるししかも抜き取れる」ということは事実と異なる fact16: もし仮に何らかの物が抜き取れるとすると払い切れないし経口感染するということはない ; $hypothesis$ = 「そのライトアップは立法部だし更に抜き取れる」ということは成り立つということはない ; $proof$ = 
fact2 & fact9 -> int1: 「あの薬価基準は払い切れるしおまけに経口感染する」ということは間違っている; int1 & fact14 -> int2: 「この人口動態統計は抜き取れるということはない」ということは真実である; int2 & fact12 -> hypothesis; __PROVED__
事実1: もし「「「熱し易くないし回り込む」ということは成り立つ」ということは事実と異なる」物があるならばあの薬価基準は熱し易い
事実2: 「「回り込む」ということは成り立つ」ものはある
事実3: もしこの人口動態統計が回り込むとしたらあの薬価基準は回り込む
事実4: もしそのライトアップは払い切れるということはないなら「この人口動態統計は熱し易くない一方でそれは回り込む」ということは正しくない
事実5: もしもあの薬価基準が払い切れるということはないとするとこの人口動態統計は抜き取れない
事実6: もし仮に立法部は形成し易くないとしたら抜き取れる
事実7: 「形成し易いかまたは中立でないかもしくは両方である」ものがあるならばあの食品産業は回り込まない
事実8: 「この人口動態統計は立法部であるししかも抜き取れる」ということは成り立たない
事実9: もし仮に「回り込む」物はあるとすると「あの薬価基準は払い切れるしさらに経口感染する」ということは間違いである
事実10: もし仮に「あの薬価基準は回り込む」ということは確かであるとしたらそのライトアップは立法部だ
事実11: 仮にそのライトアップは中立であるとしたら立法部だが形成し易くない
事実12: 仮にこの人口動態統計は抜き取れるということはないとすれば「そのライトアップは立法部であるし抜き取れる」ということは嘘である
事実13: すべてのものは形成し易いかもしくはそれは中立でないかもしくは両方ともだ
事実14: もしも「あの薬価基準は払い切れるしかつ経口感染する」ということは嘘であるとすればこの人口動態統計は抜き取れない
事実15: もしそのライトアップは抜き取れないなら「この人口動態統計は立法部であるししかも抜き取れる」ということは事実と異なる
事実16: もし仮に何らかの物が抜き取れるとすると払い切れないし経口感染するということはない

仮説: 「そのライトアップは立法部だし更に抜き取れる」ということは成り立つということはない
1. 事実2と事実9から、推論1: "「あの薬価基準は払い切れるしおまけに経口感染する」ということは間違っている"が導かれる
2. 推論1と事実14から、推論2: "「この人口動態統計は抜き取れるということはない」ということは真実である"が導かれる
3. 推論2と事実12から、仮説が導かれる

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