その宿駅は秘める
fact1: その内性器は御早いとすれば「その始発列車は御早い」ということは確かだ fact2: もしも何らかの物が臨川書店でないかまたはデータベースシステムであるかあるいはどちらもならばあの保護請求権は彩らない fact3: もし「その内性器はみっともないがしかし御早くない」ということは成り立たないとするとそれは御早い fact4: その内性器は委任しない fact5: 仮にその始発列車は知り合わないとすれば「転げないしそれは念押しするということはない」ということは誤りである fact6: もしもある物が転げるならそれは秘める fact7: もし「何らかのものは男子児童でないし加えて大量摂取するということはない」ということは成り立たないとしたらそれは払拭し切れる fact8: 仮になにがしかのものは彩らないとしたら「男子児童であるということはなくておまけにそれは大量摂取しない」ということは間違いだ fact9: もし仮にあの保護請求権が払拭し切れるならあの歯周組織は秘めない fact10: もしその内性器は委任しないなら「みっともないけど御早くない」ということは成り立つということはない fact11: 「その宿駅が引き受けるしその上それは念押しする」ということは真実である fact12: もしもなんらかの物が念押しすれば引き受ける fact13: その始発列車は重ね着でない fact14: もし仮に何らかのものが引き受けるとすれば払拭し切れる fact15: もし仮にあの歯周組織が秘めるということはない一方で引き受ければその宿駅は秘めるということはない fact16: とあるものは臨川書店でないかあるいはデータベースシステムであるかまたは両方ともだ fact17: この排膿は念押しする fact18: 仮に何かは払拭し切れればそれは転げる fact19: 仮に何らかの物は御早い一方で重ね着でないならばそれは知り合わない
fact11 -> int1: その宿駅は引き受ける; fact14 -> int2: もし仮にその宿駅は引き受けるとすると「それは払拭し切れる」ということは正しい; int1 & int2 -> int3: その宿駅は払拭し切れる; fact18 -> int4: もし仮にその宿駅が払拭し切れるなら転げる; int3 & int4 -> int5: その宿駅は転げる; fact6 -> int6: もしもその宿駅が転げるとすれば秘める; int5 & int6 -> hypothesis;
その宿駅は秘めるということはない
fact20 -> int7: もしも「あの保護請求権は男子児童でなくてそれに大量摂取しない」ということは嘘であるとすればそれは払拭し切れる; fact31 -> int8: もしもあの保護請求権は彩るということはないなら「男子児童でないしさらに大量摂取しない」ということは成り立たない; fact33 & fact26 -> int9: あの保護請求権は彩らない; int8 & int9 -> int10: 「あの保護請求権は男子児童でなくてそれに大量摂取しない」ということは成り立たない; int7 & int10 -> int11: 「あの保護請求権は払拭し切れる」ということは事実と異ならない; fact24 & int11 -> int12: あの歯周組織は秘めない; fact27 -> int13: あの歯周組織は念押しすれば「それは引き受ける」ということは本当である; fact32 -> int14: その始発列車は御早いけれど重ね着でないとすると知り合わない; fact28 & fact23 -> int15: 「その内性器はみっともないがしかし御早いということはない」ということは誤りである; fact29 & int15 -> int16: その内性器は御早い; fact25 & int16 -> int17: その始発列車は御早い; int17 & fact22 -> int18: その始発列車は御早いが重ね着だということはない; int14 & int18 -> int19: その始発列車は知り合わない; fact30 & int19 -> int20: 「その始発列車は転げないしかつ念押ししない」ということは間違いだ; int20 -> int21: 「「転げないしかつ念押ししない」ということは偽である」ものはある;
$facts$ = fact1: その内性器は御早いとすれば「その始発列車は御早い」ということは確かだ fact2: もしも何らかの物が臨川書店でないかまたはデータベースシステムであるかあるいはどちらもならばあの保護請求権は彩らない fact3: もし「その内性器はみっともないがしかし御早くない」ということは成り立たないとするとそれは御早い fact4: その内性器は委任しない fact5: 仮にその始発列車は知り合わないとすれば「転げないしそれは念押しするということはない」ということは誤りである fact6: もしもある物が転げるならそれは秘める fact7: もし「何らかのものは男子児童でないし加えて大量摂取するということはない」ということは成り立たないとしたらそれは払拭し切れる fact8: 仮になにがしかのものは彩らないとしたら「男子児童であるということはなくておまけにそれは大量摂取しない」ということは間違いだ fact9: もし仮にあの保護請求権が払拭し切れるならあの歯周組織は秘めない fact10: もしその内性器は委任しないなら「みっともないけど御早くない」ということは成り立つということはない fact11: 「その宿駅が引き受けるしその上それは念押しする」ということは真実である fact12: もしもなんらかの物が念押しすれば引き受ける fact13: その始発列車は重ね着でない fact14: もし仮に何らかのものが引き受けるとすれば払拭し切れる fact15: もし仮にあの歯周組織が秘めるということはない一方で引き受ければその宿駅は秘めるということはない fact16: とあるものは臨川書店でないかあるいはデータベースシステムであるかまたは両方ともだ fact17: この排膿は念押しする fact18: 仮に何かは払拭し切れればそれは転げる fact19: 仮に何らかの物は御早い一方で重ね着でないならばそれは知り合わない ; $hypothesis$ = その宿駅は秘める ; $proof$ = 
fact11 -> int1: その宿駅は引き受ける; fact14 -> int2: もし仮にその宿駅は引き受けるとすると「それは払拭し切れる」ということは正しい; int1 & int2 -> int3: その宿駅は払拭し切れる; fact18 -> int4: もし仮にその宿駅が払拭し切れるなら転げる; int3 & int4 -> int5: その宿駅は転げる; fact6 -> int6: もしもその宿駅が転げるとすれば秘める; int5 & int6 -> hypothesis; __PROVED__
事実1: その内性器は御早いとすれば「その始発列車は御早い」ということは確かだ
事実2: もしも何らかの物が臨川書店でないかまたはデータベースシステムであるかあるいはどちらもならばあの保護請求権は彩らない
事実3: もし「その内性器はみっともないがしかし御早くない」ということは成り立たないとするとそれは御早い
事実4: その内性器は委任しない
事実5: 仮にその始発列車は知り合わないとすれば「転げないしそれは念押しするということはない」ということは誤りである
事実6: もしもある物が転げるならそれは秘める
事実7: もし「何らかのものは男子児童でないし加えて大量摂取するということはない」ということは成り立たないとしたらそれは払拭し切れる
事実8: 仮になにがしかのものは彩らないとしたら「男子児童であるということはなくておまけにそれは大量摂取しない」ということは間違いだ
事実9: もし仮にあの保護請求権が払拭し切れるならあの歯周組織は秘めない
事実10: もしその内性器は委任しないなら「みっともないけど御早くない」ということは成り立つということはない
事実11: 「その宿駅が引き受けるしその上それは念押しする」ということは真実である
事実12: もしもなんらかの物が念押しすれば引き受ける
事実13: その始発列車は重ね着でない
事実14: もし仮に何らかのものが引き受けるとすれば払拭し切れる
事実15: もし仮にあの歯周組織が秘めるということはない一方で引き受ければその宿駅は秘めるということはない
事実16: とあるものは臨川書店でないかあるいはデータベースシステムであるかまたは両方ともだ
事実17: この排膿は念押しする
事実18: 仮に何かは払拭し切れればそれは転げる
事実19: 仮に何らかの物は御早い一方で重ね着でないならばそれは知り合わない

仮説: その宿駅は秘める
1. 事実11から、推論1: "その宿駅は引き受ける"が導かれる
2. 事実14から、推論2: "もし仮にその宿駅は引き受けるとすると「それは払拭し切れる」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "その宿駅は払拭し切れる"が導かれる
4. 事実18から、推論4: "もし仮にその宿駅が払拭し切れるなら転げる"が導かれる
5. 推論3と推論4から、推論5: "その宿駅は転げる"が導かれる
6. 事実6から、推論6: "もしもその宿駅が転げるとすれば秘める"が導かれる
7. 推論5と推論6から、仮説が導かれる

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