その勝興寺は浪費癖である
fact1: 「原敬日記である」ものがあるとすればあの下校時は起き易くないけどそれは整復位である fact2: もしもその不全感が起き易くないならその勝興寺が紙燭だし整復位だ fact3: もしもその報恩は新規アプレットでないなら「「それは残り難いしまた再建するということはない」ということは成り立つ」ということは間違いだ fact4: もしその十三軒が寝苦しくないがしかし糸飴であるならばこの当該職員は原敬日記である fact5: もしもこの華厳が五裂するかもしくは無しとしたらその水平方向は極まり悪いということはない fact6: もしも「極まり悪くない」物があるとしたらその十三軒は寝苦しくないが糸飴だ fact7: 「仮にその勝興寺がＧＮＵプロジェクトでしかもそれが紙燭だとすればその勝興寺は浪費癖でない」ということは間違っていない fact8: もしなにがしかの物が新規アプレットでないとすればそれは起き易い fact9: 「その報恩は新規アプレットでない」ということは成り立つ fact10: この華厳は五裂するかあるいはそれは無しかあるいはどちらもだ fact11: もし仮にその報恩は新規アプレットだとすれば「その勝興寺は浪費癖だ」ということは真実だ fact12: その不全感は起き易くない fact13: もし「「残り難いけど再建するということはない」ということは嘘な」ものがあればその勝興寺はＧＮＵプロジェクトである fact14: もしその下校時が起き易くない一方で整復位であるならばその開発史はＧＮＵプロジェクトである
fact3 & fact9 -> int1: 「「その報恩は残り難いけれどそれは再建しない」ということは成り立つということはない」ということは成り立つ; int1 -> int2: 「「残り難いけど再建するということはない」ということは間違っている」ものはある; int2 & fact13 -> int3: その勝興寺はＧＮＵプロジェクトである; fact12 & fact2 -> int4: その勝興寺は紙燭であるし整復位である; int4 -> int5: その勝興寺は紙燭である; int3 & int5 -> int6: その勝興寺がＧＮＵプロジェクトだしそれは紙燭である; int6 & fact7 -> hypothesis;
その勝興寺は浪費癖である
fact15 & fact20 -> int7: その水平方向は極まり悪くない; int7 -> int8: ある物は極まり悪くない; int8 & fact17 -> int9: その十三軒は寝苦しくないけれど糸飴である; fact18 & int9 -> int10: この当該職員は原敬日記だ; int10 -> int11: なにがしかの物は原敬日記である; int11 & fact16 -> int12: その下校時は起き易いということはないがしかし整復位だ; fact19 & int12 -> int13: その開発史はＧＮＵプロジェクトである; int13 -> int14: 「ＧＮＵプロジェクトな」ものはある;
$facts$ = fact1: 「原敬日記である」ものがあるとすればあの下校時は起き易くないけどそれは整復位である fact2: もしもその不全感が起き易くないならその勝興寺が紙燭だし整復位だ fact3: もしもその報恩は新規アプレットでないなら「「それは残り難いしまた再建するということはない」ということは成り立つ」ということは間違いだ fact4: もしその十三軒が寝苦しくないがしかし糸飴であるならばこの当該職員は原敬日記である fact5: もしもこの華厳が五裂するかもしくは無しとしたらその水平方向は極まり悪いということはない fact6: もしも「極まり悪くない」物があるとしたらその十三軒は寝苦しくないが糸飴だ fact7: 「仮にその勝興寺がＧＮＵプロジェクトでしかもそれが紙燭だとすればその勝興寺は浪費癖でない」ということは間違っていない fact8: もしなにがしかの物が新規アプレットでないとすればそれは起き易い fact9: 「その報恩は新規アプレットでない」ということは成り立つ fact10: この華厳は五裂するかあるいはそれは無しかあるいはどちらもだ fact11: もし仮にその報恩は新規アプレットだとすれば「その勝興寺は浪費癖だ」ということは真実だ fact12: その不全感は起き易くない fact13: もし「「残り難いけど再建するということはない」ということは嘘な」ものがあればその勝興寺はＧＮＵプロジェクトである fact14: もしその下校時が起き易くない一方で整復位であるならばその開発史はＧＮＵプロジェクトである ; $hypothesis$ = その勝興寺は浪費癖である ; $proof$ = 
fact3 & fact9 -> int1: 「「その報恩は残り難いけれどそれは再建しない」ということは成り立つということはない」ということは成り立つ; int1 -> int2: 「「残り難いけど再建するということはない」ということは間違っている」ものはある; int2 & fact13 -> int3: その勝興寺はＧＮＵプロジェクトである; fact12 & fact2 -> int4: その勝興寺は紙燭であるし整復位である; int4 -> int5: その勝興寺は紙燭である; int3 & int5 -> int6: その勝興寺がＧＮＵプロジェクトだしそれは紙燭である; int6 & fact7 -> hypothesis; __DISPROVED__
事実1: 「原敬日記である」ものがあるとすればあの下校時は起き易くないけどそれは整復位である
事実2: もしもその不全感が起き易くないならその勝興寺が紙燭だし整復位だ
事実3: もしもその報恩は新規アプレットでないなら「「それは残り難いしまた再建するということはない」ということは成り立つ」ということは間違いだ
事実4: もしその十三軒が寝苦しくないがしかし糸飴であるならばこの当該職員は原敬日記である
事実5: もしもこの華厳が五裂するかもしくは無しとしたらその水平方向は極まり悪いということはない
事実6: もしも「極まり悪くない」物があるとしたらその十三軒は寝苦しくないが糸飴だ
事実7: 「仮にその勝興寺がＧＮＵプロジェクトでしかもそれが紙燭だとすればその勝興寺は浪費癖でない」ということは間違っていない
事実8: もしなにがしかの物が新規アプレットでないとすればそれは起き易い
事実9: 「その報恩は新規アプレットでない」ということは成り立つ
事実10: この華厳は五裂するかあるいはそれは無しかあるいはどちらもだ
事実11: もし仮にその報恩は新規アプレットだとすれば「その勝興寺は浪費癖だ」ということは真実だ
事実12: その不全感は起き易くない
事実13: もし「「残り難いけど再建するということはない」ということは嘘な」ものがあればその勝興寺はＧＮＵプロジェクトである
事実14: もしその下校時が起き易くない一方で整復位であるならばその開発史はＧＮＵプロジェクトである

仮説: その勝興寺は浪費癖である
1. 事実3と事実9から、推論1: "「「その報恩は残り難いけれどそれは再建しない」ということは成り立つということはない」ということは成り立つ"が導かれる
2. 推論1から、推論2: "「「残り難いけど再建するということはない」ということは間違っている」ものはある"が導かれる
3. 推論2と事実13から、推論3: "その勝興寺はＧＮＵプロジェクトである"が導かれる
4. 事実12と事実2から、推論4: "その勝興寺は紙燭であるし整復位である"が導かれる
5. 推論4から、推論5: "その勝興寺は紙燭である"が導かれる
6. 推論3と推論5から、推論6: "その勝興寺がＧＮＵプロジェクトだしそれは紙燭である"が導かれる
7. 推論6と事実7から、仮説が否定される

よって、仮説が否定されました。