この税収拡大はミニでない
fact1: もしもいじましい物が燻るならこの税収拡大はミニでない fact2: あの借り入れ難は期する fact3: この事件直後は燻る fact4: あの借り入れ難は燻る fact5: もしそのＰＬ学園は首尾良いとしたら「あの借り入れ難は雲散霧消しないがしかし社会観念上だ」ということは成り立たない fact6: そのＰＬ学園は首尾良いし更にそれは期する fact7: 「いじましい」物はある fact8: あの五項目はいじましくて加えて居する fact9: もし「あの借り入れ難は雲散霧消しないがしかし社会観念上である」ということは偽だとすればいじましい fact10: 「ミニである」物はある fact11: 仮に「なにかは社会観念上だけれどインターネット層でない」ということは間違いであるとしたら「それはインターネット層である」ということは成り立つ fact12: もしその信長殺しは期するということはないとすると「「それが社会観念上だしインターネット層でない」ということは本当だ」ということは成り立たない
fact6 -> int1: そのＰＬ学園は首尾良い; int1 & fact5 -> int2: 「あの借り入れ難は雲散霧消しない一方で社会観念上だ」ということは嘘である; int2 & fact9 -> int3: あの借り入れ難はいじましい; int3 & fact4 -> int4: あの借り入れ難はいじましくてさらに燻る; int4 -> int5: 「いじましくておまけに燻る」ものはある; int5 & fact1 -> hypothesis;
その信長殺しはインターネット層でいじましい
fact14 -> int6: もし仮に「その信長殺しは社会観念上だがしかしインターネット層でない」ということは成り立たないとすればそれはインターネット層だ;
$facts$ = fact1: もしもいじましい物が燻るならこの税収拡大はミニでない fact2: あの借り入れ難は期する fact3: この事件直後は燻る fact4: あの借り入れ難は燻る fact5: もしそのＰＬ学園は首尾良いとしたら「あの借り入れ難は雲散霧消しないがしかし社会観念上だ」ということは成り立たない fact6: そのＰＬ学園は首尾良いし更にそれは期する fact7: 「いじましい」物はある fact8: あの五項目はいじましくて加えて居する fact9: もし「あの借り入れ難は雲散霧消しないがしかし社会観念上である」ということは偽だとすればいじましい fact10: 「ミニである」物はある fact11: 仮に「なにかは社会観念上だけれどインターネット層でない」ということは間違いであるとしたら「それはインターネット層である」ということは成り立つ fact12: もしその信長殺しは期するということはないとすると「「それが社会観念上だしインターネット層でない」ということは本当だ」ということは成り立たない ; $hypothesis$ = この税収拡大はミニでない ; $proof$ = 
fact6 -> int1: そのＰＬ学園は首尾良い; int1 & fact5 -> int2: 「あの借り入れ難は雲散霧消しない一方で社会観念上だ」ということは嘘である; int2 & fact9 -> int3: あの借り入れ難はいじましい; int3 & fact4 -> int4: あの借り入れ難はいじましくてさらに燻る; int4 -> int5: 「いじましくておまけに燻る」ものはある; int5 & fact1 -> hypothesis; __PROVED__
事実1: もしもいじましい物が燻るならこの税収拡大はミニでない
事実2: あの借り入れ難は期する
事実3: この事件直後は燻る
事実4: あの借り入れ難は燻る
事実5: もしそのＰＬ学園は首尾良いとしたら「あの借り入れ難は雲散霧消しないがしかし社会観念上だ」ということは成り立たない
事実6: そのＰＬ学園は首尾良いし更にそれは期する
事実7: 「いじましい」物はある
事実8: あの五項目はいじましくて加えて居する
事実9: もし「あの借り入れ難は雲散霧消しないがしかし社会観念上である」ということは偽だとすればいじましい
事実10: 「ミニである」物はある
事実11: 仮に「なにかは社会観念上だけれどインターネット層でない」ということは間違いであるとしたら「それはインターネット層である」ということは成り立つ
事実12: もしその信長殺しは期するということはないとすると「「それが社会観念上だしインターネット層でない」ということは本当だ」ということは成り立たない

仮説: この税収拡大はミニでない
1. 事実6から、推論1: "そのＰＬ学園は首尾良い"が導かれる
2. 推論1と事実5から、推論2: "「あの借り入れ難は雲散霧消しない一方で社会観念上だ」ということは嘘である"が導かれる
3. 推論2と事実9から、推論3: "あの借り入れ難はいじましい"が導かれる
4. 推論3と事実4から、推論4: "あの借り入れ難はいじましくてさらに燻る"が導かれる
5. 推論4から、推論5: "「いじましくておまけに燻る」ものはある"が導かれる
6. 推論5と事実1から、仮説が導かれる

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