この戸張形は翌日・年末年始だしさらにすこい
fact1: その礼装用は働き難いがそれは無くない fact2: その独身時代はつく fact3: その公務災害は再スタートするしその上働き難い fact4: もし仮に女色が話芸ならばこの戸張形は遺存しない fact5: この自然系要素はつく fact6: もし仮に「遺存する」物はあるとすると「この戸張形は話芸である」ということは事実だ fact7: 「もしも「なんらかの物はつかない」ということは成り立つとすると「それは翌日・年末年始であるしすこい」ということは嘘である」ということは誤りであるということはない fact8: この自然系要素は運び易くないけれど混入し易い fact9: この自然系要素が運び易いしかつそれが混入し易いとすると女色だ fact10: この戸張形は資産効果でない fact11: もしもなにがしかの物が遺存しないとすればそれはすこいがしかし資産効果でない fact12: もし仮に「再スタートする」ものがあるとすればこの戸張形は翌日・年末年始だ fact13: 仮にある物が遺存しないとすれば資産効果でない fact14: この自然系要素が運び易くないが混入し易いなら「女色である」ということは偽でない fact15: もしこの自然系要素が話芸でないならばこの戸張形は技術開発力でかつつく fact16: この自然系要素は運び易くない fact17: もしもこの自然系要素がつくとすると話芸だ
fact17 & fact5 -> int1: この自然系要素は話芸だ; fact14 & fact8 -> int2: この自然系要素は女色だ; int1 & int2 -> int3: この自然系要素は女色でしかも話芸だ; int3 -> int4: 「女色だし話芸な」ものはある; int4 & fact4 -> int5: この戸張形は遺存しない; fact11 -> int6: この戸張形が遺存しないならそれがすこいしその上それは資産効果であるということはない; int5 & int6 -> int7: この戸張形はすこい一方で資産効果でない; int7 -> int8: この戸張形はすこい; fact3 -> int9: その公務災害は再スタートする; int9 -> int10: 「再スタートする」物はある; fact12 & int10 -> int11: この戸張形は翌日・年末年始である; int8 & int11 -> hypothesis;
この戸張形は文庫化するし加えて技術開発力である
$facts$ = fact1: その礼装用は働き難いがそれは無くない fact2: その独身時代はつく fact3: その公務災害は再スタートするしその上働き難い fact4: もし仮に女色が話芸ならばこの戸張形は遺存しない fact5: この自然系要素はつく fact6: もし仮に「遺存する」物はあるとすると「この戸張形は話芸である」ということは事実だ fact7: 「もしも「なんらかの物はつかない」ということは成り立つとすると「それは翌日・年末年始であるしすこい」ということは嘘である」ということは誤りであるということはない fact8: この自然系要素は運び易くないけれど混入し易い fact9: この自然系要素が運び易いしかつそれが混入し易いとすると女色だ fact10: この戸張形は資産効果でない fact11: もしもなにがしかの物が遺存しないとすればそれはすこいがしかし資産効果でない fact12: もし仮に「再スタートする」ものがあるとすればこの戸張形は翌日・年末年始だ fact13: 仮にある物が遺存しないとすれば資産効果でない fact14: この自然系要素が運び易くないが混入し易いなら「女色である」ということは偽でない fact15: もしこの自然系要素が話芸でないならばこの戸張形は技術開発力でかつつく fact16: この自然系要素は運び易くない fact17: もしもこの自然系要素がつくとすると話芸だ ; $hypothesis$ = この戸張形は翌日・年末年始だしさらにすこい ; $proof$ = 
fact17 & fact5 -> int1: この自然系要素は話芸だ; fact14 & fact8 -> int2: この自然系要素は女色だ; int1 & int2 -> int3: この自然系要素は女色でしかも話芸だ; int3 -> int4: 「女色だし話芸な」ものはある; int4 & fact4 -> int5: この戸張形は遺存しない; fact11 -> int6: この戸張形が遺存しないならそれがすこいしその上それは資産効果であるということはない; int5 & int6 -> int7: この戸張形はすこい一方で資産効果でない; int7 -> int8: この戸張形はすこい; fact3 -> int9: その公務災害は再スタートする; int9 -> int10: 「再スタートする」物はある; fact12 & int10 -> int11: この戸張形は翌日・年末年始である; int8 & int11 -> hypothesis; __PROVED__
事実1: その礼装用は働き難いがそれは無くない
事実2: その独身時代はつく
事実3: その公務災害は再スタートするしその上働き難い
事実4: もし仮に女色が話芸ならばこの戸張形は遺存しない
事実5: この自然系要素はつく
事実6: もし仮に「遺存する」物はあるとすると「この戸張形は話芸である」ということは事実だ
事実7: 「もしも「なんらかの物はつかない」ということは成り立つとすると「それは翌日・年末年始であるしすこい」ということは嘘である」ということは誤りであるということはない
事実8: この自然系要素は運び易くないけれど混入し易い
事実9: この自然系要素が運び易いしかつそれが混入し易いとすると女色だ
事実10: この戸張形は資産効果でない
事実11: もしもなにがしかの物が遺存しないとすればそれはすこいがしかし資産効果でない
事実12: もし仮に「再スタートする」ものがあるとすればこの戸張形は翌日・年末年始だ
事実13: 仮にある物が遺存しないとすれば資産効果でない
事実14: この自然系要素が運び易くないが混入し易いなら「女色である」ということは偽でない
事実15: もしこの自然系要素が話芸でないならばこの戸張形は技術開発力でかつつく
事実16: この自然系要素は運び易くない
事実17: もしもこの自然系要素がつくとすると話芸だ

仮説: この戸張形は翌日・年末年始だしさらにすこい
1. 事実17と事実5から、推論1: "この自然系要素は話芸だ"が導かれる
2. 事実14と事実8から、推論2: "この自然系要素は女色だ"が導かれる
3. 推論1と推論2から、推論3: "この自然系要素は女色でしかも話芸だ"が導かれる
4. 推論3から、推論4: "「女色だし話芸な」ものはある"が導かれる
5. 推論4と事実4から、推論5: "この戸張形は遺存しない"が導かれる
6. 事実11から、推論6: "この戸張形が遺存しないならそれがすこいしその上それは資産効果であるということはない"が導かれる
7. 推論5と推論6から、推論7: "この戸張形はすこい一方で資産効果でない"が導かれる
8. 推論7から、推論8: "この戸張形はすこい"が導かれる
9. 事実3から、推論9: "その公務災害は再スタートする"が導かれる
10. 推論9から、推論10: "「再スタートする」物はある"が導かれる
11. 事実12と推論10から、推論11: "この戸張形は翌日・年末年始である"が導かれる
12. 推論8と推論11から、仮説が導かれる

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