「「流動化するということはない」ということは間違っていない」ものはある
fact1: この創外固定法は操作し易い fact2: 「「甘やかす」ということは成り立つ」物はある fact3: もしこの削除・修正は青林堂であるし人間らしいとすると操作し易い fact4: 仮にこの創外固定法が出し易いならばあの清掃周期は流動化しない fact5: もしこの創外固定法がコンボするとするとあの令は青林堂だということはないけど取り計らいである fact6: あの貞心尼は操作し易くない fact7: もし仮に「「操作し易くないかあるいは流動化しないかまたは両方ともである」ということは成り立たない」物はあるなら「この削除・修正は青林堂だ」ということは事実である fact8: もし仮にこの削除・修正が操作し易いならこの創外固定法は人間らしくないが取り計らいだ fact9: なんらかの物は青林堂である fact10: この創外固定法が青林堂であるならばあの令は人間らしくない fact11: もしも「「御府内でないかもしくは一級河川でないかもしくは両方である」ということは成り立たない」物はあるとすると「あの令は青林堂だ」ということは正しい fact12: あの令は一級河川でない fact13: この五百年後は青林堂でなくてコンボしないとすると「この削除・修正は操作し易い」ということは事実だ fact14: 「「付き纏うということはないかホーク号であるかあるいはどちらもだ」ということは成り立たない」物はある fact15: もしこの清掃周期が青林堂であるとするとあの令は流動化しない fact16: 「「「御府内でないかもしくは一級河川であるということはないかどちらもである」ということは間違いでない」ということは成り立たない」物はある fact17: もしもあの令が青林堂であるとしたらこの五百年後は青林堂でなくて加えてそれはコンボしない fact18: もし仮に人間らしいということはない物が取り計らいだとしたら出し易い fact19: 仮にこの削除・修正がコンボするとすればこの五百年後は操作し易いということはないがそれは青林堂である fact20: 仮にこの削除・修正はコンボするし加えて操作し易いとしたら人間らしい fact21: この清掃周期は出し易くてかつ人間らしいならば「それは流動化する」ということは真実だ
fact16 & fact11 -> int1: あの令は青林堂である; int1 & fact17 -> int2: この五百年後は青林堂でないしそれはコンボしない; int2 & fact13 -> int3: この削除・修正は操作し易い; int3 & fact8 -> int4: この創外固定法は人間らしくないが取り計らいだ; fact18 -> int5: この創外固定法が人間らしくないけれど取り計らいであるなら「出し易い」ということは確かだ; int4 & int5 -> int6: この創外固定法は出し易い; int6 & fact4 -> int7: 「この清掃周期は流動化しない」ということは誤っていない; int7 -> hypothesis;
$facts$ = fact1: この創外固定法は操作し易い fact2: 「「甘やかす」ということは成り立つ」物はある fact3: もしこの削除・修正は青林堂であるし人間らしいとすると操作し易い fact4: 仮にこの創外固定法が出し易いならばあの清掃周期は流動化しない fact5: もしこの創外固定法がコンボするとするとあの令は青林堂だということはないけど取り計らいである fact6: あの貞心尼は操作し易くない fact7: もし仮に「「操作し易くないかあるいは流動化しないかまたは両方ともである」ということは成り立たない」物はあるなら「この削除・修正は青林堂だ」ということは事実である fact8: もし仮にこの削除・修正が操作し易いならこの創外固定法は人間らしくないが取り計らいだ fact9: なんらかの物は青林堂である fact10: この創外固定法が青林堂であるならばあの令は人間らしくない fact11: もしも「「御府内でないかもしくは一級河川でないかもしくは両方である」ということは成り立たない」物はあるとすると「あの令は青林堂だ」ということは正しい fact12: あの令は一級河川でない fact13: この五百年後は青林堂でなくてコンボしないとすると「この削除・修正は操作し易い」ということは事実だ fact14: 「「付き纏うということはないかホーク号であるかあるいはどちらもだ」ということは成り立たない」物はある fact15: もしこの清掃周期が青林堂であるとするとあの令は流動化しない fact16: 「「「御府内でないかもしくは一級河川であるということはないかどちらもである」ということは間違いでない」ということは成り立たない」物はある fact17: もしもあの令が青林堂であるとしたらこの五百年後は青林堂でなくて加えてそれはコンボしない fact18: もし仮に人間らしいということはない物が取り計らいだとしたら出し易い fact19: 仮にこの削除・修正がコンボするとすればこの五百年後は操作し易いということはないがそれは青林堂である fact20: 仮にこの削除・修正はコンボするし加えて操作し易いとしたら人間らしい fact21: この清掃周期は出し易くてかつ人間らしいならば「それは流動化する」ということは真実だ ; $hypothesis$ = 「「流動化するということはない」ということは間違っていない」ものはある ; $proof$ = 
fact16 & fact11 -> int1: あの令は青林堂である; int1 & fact17 -> int2: この五百年後は青林堂でないしそれはコンボしない; int2 & fact13 -> int3: この削除・修正は操作し易い; int3 & fact8 -> int4: この創外固定法は人間らしくないが取り計らいだ; fact18 -> int5: この創外固定法が人間らしくないけれど取り計らいであるなら「出し易い」ということは確かだ; int4 & int5 -> int6: この創外固定法は出し易い; int6 & fact4 -> int7: 「この清掃周期は流動化しない」ということは誤っていない; int7 -> hypothesis; __PROVED__
事実1: この創外固定法は操作し易い
事実2: 「「甘やかす」ということは成り立つ」物はある
事実3: もしこの削除・修正は青林堂であるし人間らしいとすると操作し易い
事実4: 仮にこの創外固定法が出し易いならばあの清掃周期は流動化しない
事実5: もしこの創外固定法がコンボするとするとあの令は青林堂だということはないけど取り計らいである
事実6: あの貞心尼は操作し易くない
事実7: もし仮に「「操作し易くないかあるいは流動化しないかまたは両方ともである」ということは成り立たない」物はあるなら「この削除・修正は青林堂だ」ということは事実である
事実8: もし仮にこの削除・修正が操作し易いならこの創外固定法は人間らしくないが取り計らいだ
事実9: なんらかの物は青林堂である
事実10: この創外固定法が青林堂であるならばあの令は人間らしくない
事実11: もしも「「御府内でないかもしくは一級河川でないかもしくは両方である」ということは成り立たない」物はあるとすると「あの令は青林堂だ」ということは正しい
事実12: あの令は一級河川でない
事実13: この五百年後は青林堂でなくてコンボしないとすると「この削除・修正は操作し易い」ということは事実だ
事実14: 「「付き纏うということはないかホーク号であるかあるいはどちらもだ」ということは成り立たない」物はある
事実15: もしこの清掃周期が青林堂であるとするとあの令は流動化しない
事実16: 「「「御府内でないかもしくは一級河川であるということはないかどちらもである」ということは間違いでない」ということは成り立たない」物はある
事実17: もしもあの令が青林堂であるとしたらこの五百年後は青林堂でなくて加えてそれはコンボしない
事実18: もし仮に人間らしいということはない物が取り計らいだとしたら出し易い
事実19: 仮にこの削除・修正がコンボするとすればこの五百年後は操作し易いということはないがそれは青林堂である
事実20: 仮にこの削除・修正はコンボするし加えて操作し易いとしたら人間らしい
事実21: この清掃周期は出し易くてかつ人間らしいならば「それは流動化する」ということは真実だ

仮説: 「「流動化するということはない」ということは間違っていない」ものはある
1. 事実16と事実11から、推論1: "あの令は青林堂である"が導かれる
2. 推論1と事実17から、推論2: "この五百年後は青林堂でないしそれはコンボしない"が導かれる
3. 推論2と事実13から、推論3: "この削除・修正は操作し易い"が導かれる
4. 推論3と事実8から、推論4: "この創外固定法は人間らしくないが取り計らいだ"が導かれる
5. 事実18から、推論5: "この創外固定法が人間らしくないけれど取り計らいであるなら「出し易い」ということは確かだ"が導かれる
6. 推論4と推論5から、推論6: "この創外固定法は出し易い"が導かれる
7. 推論6と事実4から、推論7: "「この清掃周期は流動化しない」ということは誤っていない"が導かれる
8. 推論7から、仮説が導かれる

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