その保険加入は刺々しい
fact1: 「この女性スタッフは消化し易いがしかしそれは満期日前でない」ということは成り立たない fact2: 仮にこの初代大統領は消化し易くないとすれば「それが劣後するしその上貧し」ということは成り立たない fact3: もし仮に「この権利・自由はかったるいということはないしそれは宿らない」ということは誤りであるならばあの女性スタッフはレディメイドだということはない fact4: その保険加入は成り難くない fact5: 仮にそのサーバ側は消化し易くないけれど成り難いならば「この初代大統領は消化し易くない」ということは成り立つ fact6: そのサーバ側は消化し易くない一方でそれは成り難い fact7: もし仮にその保険加入は満期日前だとしたら「刺々しい」ということは正しい fact8: もしこの権利・自由がかったるくないしその上宿らないならその保険加入は満期日前である fact9: もし「この権利・自由は刺々しいかもしくはレディメイドでない」ということは成り立たないならばその保険加入は刺々しかない fact10: 仮になにがしかのものは最終消費者ならば「刺々しいかまたはそれはレディメイドだということはないかもしくはどちらもである」ということは偽である fact11: 仮に「その保険加入は刺々しいということはなくてまた貧しということはない」ということは本当でないならばあの初代大統領は満期日前でない fact12: 「この初代大統領は劣後するし更に貧し」ということは嘘であるとするとそれは劣後しない fact13: もし「何らかのものは五千万円以下でないが最終消費者だ」ということは成り立たないなら劣後する fact14: 仮にこの女性スタッフはレディメイドでないならば「「この初代大統領は五千万円以下でないがそれは最終消費者である」ということは成り立たない」ということは確かである fact15: 「その保険加入は刺々しかなくて貧しない」ということは嘘である fact16: 「なにがしかのものは五千万円以下でないが劣後する」ということは誤りであるとすれば最終消費者だ
void -> assump1: 以下のように仮定する。「この権利・自由はかったるくなくてまた宿らない」ということは間違いである; fact3 & assump1 -> int1: この女性スタッフはレディメイドでない; int1 & fact14 -> int2: 「この初代大統領は五千万円以下でないがしかし最終消費者である」ということは間違いである; fact13 -> int3: 仮に「この初代大統領は五千万円以下でないがしかし最終消費者だ」ということは成り立つということはないとすれば「劣後する」ということは成り立つ; int2 & int3 -> int4: この初代大統領は劣後する; fact5 & fact6 -> int5: この初代大統領は消化し易くない; int5 & fact2 -> int6: 「この初代大統領は劣後するしかつ貧し」ということは事実と異なる; fact12 & int6 -> int7: この初代大統領は劣後しない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この権利・自由はかったるくないし宿らない; int9 & fact8 -> int10: その保険加入は満期日前である; int10 & fact7 -> hypothesis;
この小姑は五千万円以下だ
fact18 & fact17 -> int11: この初代大統領は満期日前であるということはない; int11 -> int12: 「満期日前でない」物はある;
$facts$ = fact1: 「この女性スタッフは消化し易いがしかしそれは満期日前でない」ということは成り立たない fact2: 仮にこの初代大統領は消化し易くないとすれば「それが劣後するしその上貧し」ということは成り立たない fact3: もし仮に「この権利・自由はかったるいということはないしそれは宿らない」ということは誤りであるならばあの女性スタッフはレディメイドだということはない fact4: その保険加入は成り難くない fact5: 仮にそのサーバ側は消化し易くないけれど成り難いならば「この初代大統領は消化し易くない」ということは成り立つ fact6: そのサーバ側は消化し易くない一方でそれは成り難い fact7: もし仮にその保険加入は満期日前だとしたら「刺々しい」ということは正しい fact8: もしこの権利・自由がかったるくないしその上宿らないならその保険加入は満期日前である fact9: もし「この権利・自由は刺々しいかもしくはレディメイドでない」ということは成り立たないならばその保険加入は刺々しかない fact10: 仮になにがしかのものは最終消費者ならば「刺々しいかまたはそれはレディメイドだということはないかもしくはどちらもである」ということは偽である fact11: 仮に「その保険加入は刺々しいということはなくてまた貧しということはない」ということは本当でないならばあの初代大統領は満期日前でない fact12: 「この初代大統領は劣後するし更に貧し」ということは嘘であるとするとそれは劣後しない fact13: もし「何らかのものは五千万円以下でないが最終消費者だ」ということは成り立たないなら劣後する fact14: 仮にこの女性スタッフはレディメイドでないならば「「この初代大統領は五千万円以下でないがそれは最終消費者である」ということは成り立たない」ということは確かである fact15: 「その保険加入は刺々しかなくて貧しない」ということは嘘である fact16: 「なにがしかのものは五千万円以下でないが劣後する」ということは誤りであるとすれば最終消費者だ ; $hypothesis$ = その保険加入は刺々しい ; $proof$ = 
void -> assump1: 以下のように仮定する。「この権利・自由はかったるくなくてまた宿らない」ということは間違いである; fact3 & assump1 -> int1: この女性スタッフはレディメイドでない; int1 & fact14 -> int2: 「この初代大統領は五千万円以下でないがしかし最終消費者である」ということは間違いである; fact13 -> int3: 仮に「この初代大統領は五千万円以下でないがしかし最終消費者だ」ということは成り立つということはないとすれば「劣後する」ということは成り立つ; int2 & int3 -> int4: この初代大統領は劣後する; fact5 & fact6 -> int5: この初代大統領は消化し易くない; int5 & fact2 -> int6: 「この初代大統領は劣後するしかつ貧し」ということは事実と異なる; fact12 & int6 -> int7: この初代大統領は劣後しない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この権利・自由はかったるくないし宿らない; int9 & fact8 -> int10: その保険加入は満期日前である; int10 & fact7 -> hypothesis; __PROVED__
事実1: 「この女性スタッフは消化し易いがしかしそれは満期日前でない」ということは成り立たない
事実2: 仮にこの初代大統領は消化し易くないとすれば「それが劣後するしその上貧し」ということは成り立たない
事実3: もし仮に「この権利・自由はかったるいということはないしそれは宿らない」ということは誤りであるならばあの女性スタッフはレディメイドだということはない
事実4: その保険加入は成り難くない
事実5: 仮にそのサーバ側は消化し易くないけれど成り難いならば「この初代大統領は消化し易くない」ということは成り立つ
事実6: そのサーバ側は消化し易くない一方でそれは成り難い
事実7: もし仮にその保険加入は満期日前だとしたら「刺々しい」ということは正しい
事実8: もしこの権利・自由がかったるくないしその上宿らないならその保険加入は満期日前である
事実9: もし「この権利・自由は刺々しいかもしくはレディメイドでない」ということは成り立たないならばその保険加入は刺々しかない
事実10: 仮になにがしかのものは最終消費者ならば「刺々しいかまたはそれはレディメイドだということはないかもしくはどちらもである」ということは偽である
事実11: 仮に「その保険加入は刺々しいということはなくてまた貧しということはない」ということは本当でないならばあの初代大統領は満期日前でない
事実12: 「この初代大統領は劣後するし更に貧し」ということは嘘であるとするとそれは劣後しない
事実13: もし「何らかのものは五千万円以下でないが最終消費者だ」ということは成り立たないなら劣後する
事実14: 仮にこの女性スタッフはレディメイドでないならば「「この初代大統領は五千万円以下でないがそれは最終消費者である」ということは成り立たない」ということは確かである
事実15: 「その保険加入は刺々しかなくて貧しない」ということは嘘である
事実16: 「なにがしかのものは五千万円以下でないが劣後する」ということは誤りであるとすれば最終消費者だ

仮説: その保険加入は刺々しい
1. 仮定1: 以下のように仮定する。「この権利・自由はかったるくなくてまた宿らない」ということは間違いである
2. 事実3と仮定1から、推論1: "この女性スタッフはレディメイドでない"が導かれる
3. 推論1と事実14から、推論2: "「この初代大統領は五千万円以下でないがしかし最終消費者である」ということは間違いである"が導かれる
4. 事実13から、推論3: "仮に「この初代大統領は五千万円以下でないがしかし最終消費者だ」ということは成り立つということはないとすれば「劣後する」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "この初代大統領は劣後する"が導かれる
6. 事実5と事実6から、推論5: "この初代大統領は消化し易くない"が導かれる
7. 推論5と事実2から、推論6: "「この初代大統領は劣後するしかつ貧し」ということは事実と異なる"が導かれる
8. 事実12と推論6から、推論7: "この初代大統領は劣後しない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この権利・自由はかったるくないし宿らない"が導かれる
11. 推論9と事実8から、推論10: "その保険加入は満期日前である"が導かれる
12. 推論10と事実7から、仮説が導かれる

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