あの規定通りは入場無料だということはなくてそれに賄賂でない
fact1: あのバイトは吸収され難い fact2: もしもこの記名が恐れ多いとするとこの冬季オープン・カレッジは恐れ多い一方で賄賂でない fact3: もし仮にこの冬季オープン・カレッジが恐れ多いならばこの一笑は恐れ多い fact4: その近代建築は疚しい fact5: あの規定通りは賄賂だということはない fact6: その近代建築は入場無料だ fact7: この冬季オープン・カレッジが賄賂でないならあの規定通りは入場無料でないしさらにそれは賄賂でない fact8: もし仮にその近代建築が吸収され難いとしたらこの一笑は遭難し掛ける fact9: もしもこの一笑が遭難し掛ければこの記名はタイトルらしい fact10: その近代建築はタイトルらしい fact11: もし仮になんらかのものがタイトルらしいならば恐れ多い fact12: この一笑は疚しい fact13: もしもその近代建築が疚しいとすれば吸収され難い fact14: 仮になにがしかの物は疚しいなら「入場無料でないしその上賄賂でない」ということは偽だ
fact13 & fact4 -> int1: その近代建築は吸収され難い; int1 & fact8 -> int2: この一笑は遭難し掛ける; int2 & fact9 -> int3: この記名はタイトルらしい; fact11 -> int4: 仮にこの記名はタイトルらしいとすれば「恐れ多い」ということは成り立つ; int3 & int4 -> int5: この記名は恐れ多い; int5 & fact2 -> int6: この冬季オープン・カレッジは恐れ多い一方で賄賂だということはない; int6 -> int7: この冬季オープン・カレッジは賄賂でない; int7 & fact7 -> hypothesis;
「あの規定通りは入場無料だということはなくておまけに賄賂だということはない」ということは間違いだ
fact15 -> int8: もしもあの規定通りは疚しいとしたら「入場無料でないししかも賄賂でない」ということは誤りである;
$facts$ = fact1: あのバイトは吸収され難い fact2: もしもこの記名が恐れ多いとするとこの冬季オープン・カレッジは恐れ多い一方で賄賂でない fact3: もし仮にこの冬季オープン・カレッジが恐れ多いならばこの一笑は恐れ多い fact4: その近代建築は疚しい fact5: あの規定通りは賄賂だということはない fact6: その近代建築は入場無料だ fact7: この冬季オープン・カレッジが賄賂でないならあの規定通りは入場無料でないしさらにそれは賄賂でない fact8: もし仮にその近代建築が吸収され難いとしたらこの一笑は遭難し掛ける fact9: もしもこの一笑が遭難し掛ければこの記名はタイトルらしい fact10: その近代建築はタイトルらしい fact11: もし仮になんらかのものがタイトルらしいならば恐れ多い fact12: この一笑は疚しい fact13: もしもその近代建築が疚しいとすれば吸収され難い fact14: 仮になにがしかの物は疚しいなら「入場無料でないしその上賄賂でない」ということは偽だ ; $hypothesis$ = あの規定通りは入場無料だということはなくてそれに賄賂でない ; $proof$ = 
fact13 & fact4 -> int1: その近代建築は吸収され難い; int1 & fact8 -> int2: この一笑は遭難し掛ける; int2 & fact9 -> int3: この記名はタイトルらしい; fact11 -> int4: 仮にこの記名はタイトルらしいとすれば「恐れ多い」ということは成り立つ; int3 & int4 -> int5: この記名は恐れ多い; int5 & fact2 -> int6: この冬季オープン・カレッジは恐れ多い一方で賄賂だということはない; int6 -> int7: この冬季オープン・カレッジは賄賂でない; int7 & fact7 -> hypothesis; __PROVED__
事実1: あのバイトは吸収され難い
事実2: もしもこの記名が恐れ多いとするとこの冬季オープン・カレッジは恐れ多い一方で賄賂でない
事実3: もし仮にこの冬季オープン・カレッジが恐れ多いならばこの一笑は恐れ多い
事実4: その近代建築は疚しい
事実5: あの規定通りは賄賂だということはない
事実6: その近代建築は入場無料だ
事実7: この冬季オープン・カレッジが賄賂でないならあの規定通りは入場無料でないしさらにそれは賄賂でない
事実8: もし仮にその近代建築が吸収され難いとしたらこの一笑は遭難し掛ける
事実9: もしもこの一笑が遭難し掛ければこの記名はタイトルらしい
事実10: その近代建築はタイトルらしい
事実11: もし仮になんらかのものがタイトルらしいならば恐れ多い
事実12: この一笑は疚しい
事実13: もしもその近代建築が疚しいとすれば吸収され難い
事実14: 仮になにがしかの物は疚しいなら「入場無料でないしその上賄賂でない」ということは偽だ

仮説: あの規定通りは入場無料だということはなくてそれに賄賂でない
1. 事実13と事実4から、推論1: "その近代建築は吸収され難い"が導かれる
2. 推論1と事実8から、推論2: "この一笑は遭難し掛ける"が導かれる
3. 推論2と事実9から、推論3: "この記名はタイトルらしい"が導かれる
4. 事実11から、推論4: "仮にこの記名はタイトルらしいとすれば「恐れ多い」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "この記名は恐れ多い"が導かれる
6. 推論5と事実2から、推論6: "この冬季オープン・カレッジは恐れ多い一方で賄賂だということはない"が導かれる
7. 推論6から、推論7: "この冬季オープン・カレッジは賄賂でない"が導かれる
8. 推論7と事実7から、仮説が導かれる

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