このポケットティッシュは成人前であるということはない
fact1: あの週刊子供ニュースは近付き難い fact2: 「その表示形式は生じ難い」ということは事実だ fact3: もしあの週刊子供ニュースがセットバックしないならあの道徳論は幼馴染みである fact4: 仮にあの週刊子供ニュースは成人前だとすれば「このポケットティッシュは成人前である」ということは成り立つ fact5: もし仮に「あの週刊子供ニュースは会えらない」ということは成り立つならあの道徳論は幼馴染みである fact6: もしあるものが帝国議会でないならそれは幼馴染みでなくてしかも生じ難くない fact7: もしその表示形式が幼馴染みでないとすればあの道徳論が成人前だしかつそれは近付き難い fact8: 仮にこのセリカが進まなくて幼馴染みでないとすればその表示形式は幼馴染みでない fact9: もしもあの週刊子供ニュースが近付き難いとすればそれは会えらないかそれはセットバックしないかあるいは両方だ fact10: その表示形式が生じ難いならばあの道徳論は帰投するけれどそれは挿し絵であるということはない fact11: あの道徳論が幼馴染みだしまた進むとしたらこのポケットティッシュは成人前だということはない fact12: 「その山行きは御上げ為さるしかつそれは正番である」ということは確かだ fact13: もし仮にあの道徳論が成人前ならばあの週刊子供ニュースは成人前である fact14: もし「その山行きは御上げ為さるし正番である」ということは誤りでないとすればこの二因子は申し訳無くない fact15: 仮になんらかのものが帰投するけどそれは挿し絵でないとするとそれは進む fact16: この二因子は申し訳無くないとすれば「「このセリカは帰投しないし挿し絵でない」ということは間違っている」ということは確かだ
fact9 & fact1 -> int1: あの週刊子供ニュースは会えらないかセットバックしないか両方ともだ; int1 & fact5 & fact3 -> int2: あの道徳論は幼馴染みである; fact15 -> int3: 「あの道徳論が帰投する一方でそれが挿し絵でないとすればあの道徳論は進む」ということは事実である; fact10 & fact2 -> int4: あの道徳論は帰投する一方でそれは挿し絵でない; int3 & int4 -> int5: あの道徳論は進む; int2 & int5 -> int6: あの道徳論は幼馴染みだし進む; int6 & fact11 -> hypothesis;
「このポケットティッシュは成人前である」ということは事実である
fact19 & fact23 -> int7: この二因子は申し訳無くない; fact20 & int7 -> int8: 「このセリカは帰投するということはなくてそれは挿し絵であるということはない」ということは成り立たない; fact24 -> int9: このセリカが帝国議会でないとすればそれは幼馴染みでないし生じ難くない;
$facts$ = fact1: あの週刊子供ニュースは近付き難い fact2: 「その表示形式は生じ難い」ということは事実だ fact3: もしあの週刊子供ニュースがセットバックしないならあの道徳論は幼馴染みである fact4: 仮にあの週刊子供ニュースは成人前だとすれば「このポケットティッシュは成人前である」ということは成り立つ fact5: もし仮に「あの週刊子供ニュースは会えらない」ということは成り立つならあの道徳論は幼馴染みである fact6: もしあるものが帝国議会でないならそれは幼馴染みでなくてしかも生じ難くない fact7: もしその表示形式が幼馴染みでないとすればあの道徳論が成人前だしかつそれは近付き難い fact8: 仮にこのセリカが進まなくて幼馴染みでないとすればその表示形式は幼馴染みでない fact9: もしもあの週刊子供ニュースが近付き難いとすればそれは会えらないかそれはセットバックしないかあるいは両方だ fact10: その表示形式が生じ難いならばあの道徳論は帰投するけれどそれは挿し絵であるということはない fact11: あの道徳論が幼馴染みだしまた進むとしたらこのポケットティッシュは成人前だということはない fact12: 「その山行きは御上げ為さるしかつそれは正番である」ということは確かだ fact13: もし仮にあの道徳論が成人前ならばあの週刊子供ニュースは成人前である fact14: もし「その山行きは御上げ為さるし正番である」ということは誤りでないとすればこの二因子は申し訳無くない fact15: 仮になんらかのものが帰投するけどそれは挿し絵でないとするとそれは進む fact16: この二因子は申し訳無くないとすれば「「このセリカは帰投しないし挿し絵でない」ということは間違っている」ということは確かだ ; $hypothesis$ = このポケットティッシュは成人前であるということはない ; $proof$ = 
fact9 & fact1 -> int1: あの週刊子供ニュースは会えらないかセットバックしないか両方ともだ; int1 & fact5 & fact3 -> int2: あの道徳論は幼馴染みである; fact15 -> int3: 「あの道徳論が帰投する一方でそれが挿し絵でないとすればあの道徳論は進む」ということは事実である; fact10 & fact2 -> int4: あの道徳論は帰投する一方でそれは挿し絵でない; int3 & int4 -> int5: あの道徳論は進む; int2 & int5 -> int6: あの道徳論は幼馴染みだし進む; int6 & fact11 -> hypothesis; __PROVED__
事実1: あの週刊子供ニュースは近付き難い
事実2: 「その表示形式は生じ難い」ということは事実だ
事実3: もしあの週刊子供ニュースがセットバックしないならあの道徳論は幼馴染みである
事実4: 仮にあの週刊子供ニュースは成人前だとすれば「このポケットティッシュは成人前である」ということは成り立つ
事実5: もし仮に「あの週刊子供ニュースは会えらない」ということは成り立つならあの道徳論は幼馴染みである
事実6: もしあるものが帝国議会でないならそれは幼馴染みでなくてしかも生じ難くない
事実7: もしその表示形式が幼馴染みでないとすればあの道徳論が成人前だしかつそれは近付き難い
事実8: 仮にこのセリカが進まなくて幼馴染みでないとすればその表示形式は幼馴染みでない
事実9: もしもあの週刊子供ニュースが近付き難いとすればそれは会えらないかそれはセットバックしないかあるいは両方だ
事実10: その表示形式が生じ難いならばあの道徳論は帰投するけれどそれは挿し絵であるということはない
事実11: あの道徳論が幼馴染みだしまた進むとしたらこのポケットティッシュは成人前だということはない
事実12: 「その山行きは御上げ為さるしかつそれは正番である」ということは確かだ
事実13: もし仮にあの道徳論が成人前ならばあの週刊子供ニュースは成人前である
事実14: もし「その山行きは御上げ為さるし正番である」ということは誤りでないとすればこの二因子は申し訳無くない
事実15: 仮になんらかのものが帰投するけどそれは挿し絵でないとするとそれは進む
事実16: この二因子は申し訳無くないとすれば「「このセリカは帰投しないし挿し絵でない」ということは間違っている」ということは確かだ

仮説: このポケットティッシュは成人前であるということはない
1. 事実9と事実1から、推論1: "あの週刊子供ニュースは会えらないかセットバックしないか両方ともだ"が導かれる
2. 推論1と事実5と事実3から、推論2: "あの道徳論は幼馴染みである"が導かれる
3. 事実15から、推論3: "「あの道徳論が帰投する一方でそれが挿し絵でないとすればあの道徳論は進む」ということは事実である"が導かれる
4. 事実10と事実2から、推論4: "あの道徳論は帰投する一方でそれは挿し絵でない"が導かれる
5. 推論3と推論4から、推論5: "あの道徳論は進む"が導かれる
6. 推論2と推論5から、推論6: "あの道徳論は幼馴染みだし進む"が導かれる
7. 推論6と事実11から、仮説が導かれる

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