その進学塾は御聞く
fact1: その職員間は実体験する fact2: もし仮に「あの暗室は後らしい」ということは本当でないなら「その進学塾は御聞くけどせびらない」ということは本当でない fact3: もし仮にその職員間が植民地人民であるとしたらその進学塾は危惧する fact4: その進学塾がせびるとするとあの暗室は危惧する fact5: もしその進学塾が再発し易いならその桃源郷は御聞く fact6: もしその職員間が御聞くならその進学塾は植民地人民である fact7: その職員間は御聞く fact8: 仮にあの暗室が御聞くならその進学塾はせびる fact9: あの暗室は後らしいがしかしせびらない fact10: あの暗室はせびるということはない fact11: あの暗室は悔やみ切れる fact12: その職員間が後らしいならばそれは植民地人民である fact13: もしあの暗室が後らしいとすればその桃源郷は再発し易い fact14: 「なにがしかのものは御聞くけどせびらない」ということは事実でないならば御聞かない fact15: もし仮にその進学塾が危惧するとすると御聞く fact16: あの暗室は悔やみ切れるしかつ起算する fact17: とある物がせびるとすると再発し易い fact18: 後らしくないものは御聞くということはないかあるいはせびるということはないかまたはどちらもである fact19: その職員間は放射出来る一方でアップしない fact20: その職員間が悔やみ切れるとすればそれは植民地人民である fact21: 「再発し易い物は起算する」ということは真実である fact22: 仮にその進学塾が起算するとしたらその桃源郷は御聞く fact23: もしその桃源郷は起算すれば「その職員間は悔やみ切れる」ということは確かだ fact24: もしその桃源郷が危惧するならそれは再発し易い fact25: もしその進学塾が悔やみ切れればその職員間は危惧する fact26: もし仮にあの暗室は危惧すれば「その進学塾はせびる」ということは成り立つ
fact9 -> int1: あの暗室は後らしい; int1 & fact13 -> int2: その桃源郷は再発し易い; fact21 -> int3: その桃源郷が再発し易いとすれば起算する; int2 & int3 -> int4: その桃源郷は起算する; int4 & fact23 -> int5: 「その職員間は悔やみ切れる」ということは成り立つ; int5 & fact20 -> int6: その職員間は植民地人民である; int6 & fact3 -> int7: その進学塾は危惧する; int7 & fact15 -> hypothesis;
その進学塾は御聞かない
fact27 -> int8: 仮に「その進学塾は御聞くがせびるということはない」ということは誤っていれば御聞かない;
$facts$ = fact1: その職員間は実体験する fact2: もし仮に「あの暗室は後らしい」ということは本当でないなら「その進学塾は御聞くけどせびらない」ということは本当でない fact3: もし仮にその職員間が植民地人民であるとしたらその進学塾は危惧する fact4: その進学塾がせびるとするとあの暗室は危惧する fact5: もしその進学塾が再発し易いならその桃源郷は御聞く fact6: もしその職員間が御聞くならその進学塾は植民地人民である fact7: その職員間は御聞く fact8: 仮にあの暗室が御聞くならその進学塾はせびる fact9: あの暗室は後らしいがしかしせびらない fact10: あの暗室はせびるということはない fact11: あの暗室は悔やみ切れる fact12: その職員間が後らしいならばそれは植民地人民である fact13: もしあの暗室が後らしいとすればその桃源郷は再発し易い fact14: 「なにがしかのものは御聞くけどせびらない」ということは事実でないならば御聞かない fact15: もし仮にその進学塾が危惧するとすると御聞く fact16: あの暗室は悔やみ切れるしかつ起算する fact17: とある物がせびるとすると再発し易い fact18: 後らしくないものは御聞くということはないかあるいはせびるということはないかまたはどちらもである fact19: その職員間は放射出来る一方でアップしない fact20: その職員間が悔やみ切れるとすればそれは植民地人民である fact21: 「再発し易い物は起算する」ということは真実である fact22: 仮にその進学塾が起算するとしたらその桃源郷は御聞く fact23: もしその桃源郷は起算すれば「その職員間は悔やみ切れる」ということは確かだ fact24: もしその桃源郷が危惧するならそれは再発し易い fact25: もしその進学塾が悔やみ切れればその職員間は危惧する fact26: もし仮にあの暗室は危惧すれば「その進学塾はせびる」ということは成り立つ ; $hypothesis$ = その進学塾は御聞く ; $proof$ = 
fact9 -> int1: あの暗室は後らしい; int1 & fact13 -> int2: その桃源郷は再発し易い; fact21 -> int3: その桃源郷が再発し易いとすれば起算する; int2 & int3 -> int4: その桃源郷は起算する; int4 & fact23 -> int5: 「その職員間は悔やみ切れる」ということは成り立つ; int5 & fact20 -> int6: その職員間は植民地人民である; int6 & fact3 -> int7: その進学塾は危惧する; int7 & fact15 -> hypothesis; __PROVED__
事実1: その職員間は実体験する
事実2: もし仮に「あの暗室は後らしい」ということは本当でないなら「その進学塾は御聞くけどせびらない」ということは本当でない
事実3: もし仮にその職員間が植民地人民であるとしたらその進学塾は危惧する
事実4: その進学塾がせびるとするとあの暗室は危惧する
事実5: もしその進学塾が再発し易いならその桃源郷は御聞く
事実6: もしその職員間が御聞くならその進学塾は植民地人民である
事実7: その職員間は御聞く
事実8: 仮にあの暗室が御聞くならその進学塾はせびる
事実9: あの暗室は後らしいがしかしせびらない
事実10: あの暗室はせびるということはない
事実11: あの暗室は悔やみ切れる
事実12: その職員間が後らしいならばそれは植民地人民である
事実13: もしあの暗室が後らしいとすればその桃源郷は再発し易い
事実14: 「なにがしかのものは御聞くけどせびらない」ということは事実でないならば御聞かない
事実15: もし仮にその進学塾が危惧するとすると御聞く
事実16: あの暗室は悔やみ切れるしかつ起算する
事実17: とある物がせびるとすると再発し易い
事実18: 後らしくないものは御聞くということはないかあるいはせびるということはないかまたはどちらもである
事実19: その職員間は放射出来る一方でアップしない
事実20: その職員間が悔やみ切れるとすればそれは植民地人民である
事実21: 「再発し易い物は起算する」ということは真実である
事実22: 仮にその進学塾が起算するとしたらその桃源郷は御聞く
事実23: もしその桃源郷は起算すれば「その職員間は悔やみ切れる」ということは確かだ
事実24: もしその桃源郷が危惧するならそれは再発し易い
事実25: もしその進学塾が悔やみ切れればその職員間は危惧する
事実26: もし仮にあの暗室は危惧すれば「その進学塾はせびる」ということは成り立つ

仮説: その進学塾は御聞く
1. 事実9から、推論1: "あの暗室は後らしい"が導かれる
2. 推論1と事実13から、推論2: "その桃源郷は再発し易い"が導かれる
3. 事実21から、推論3: "その桃源郷が再発し易いとすれば起算する"が導かれる
4. 推論2と推論3から、推論4: "その桃源郷は起算する"が導かれる
5. 推論4と事実23から、推論5: "「その職員間は悔やみ切れる」ということは成り立つ"が導かれる
6. 推論5と事実20から、推論6: "その職員間は植民地人民である"が導かれる
7. 推論6と事実3から、推論7: "その進学塾は危惧する"が導かれる
8. 推論7と事実15から、仮説が導かれる

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