その氏神は滅菌する
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: その氏神がセットアップ系であるとすればその時間障壁は滅菌する
fact7 & fact10 -> int1: 「その時間障壁はでかくない」ということは正しい; fact11 -> int2: もしその時間障壁はでかくないとすると「セットアップ系でなくてしかも甘辛くない」ということは真実でない; int1 & int2 -> int3: 「その時間障壁はセットアップ系でなくて甘辛くない」ということは誤りだ; int3 & fact17 -> int4: 「その時間障壁は織る」ということは確かだ; int4 & fact15 -> hypothesis;
その氏神は滅菌しない
$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: その氏神がセットアップ系であるとすればその時間障壁は滅菌する ; $hypothesis$ = その氏神は滅菌する ; $proof$ = 
fact7 & fact10 -> int1: 「その時間障壁はでかくない」ということは正しい; fact11 -> int2: もしその時間障壁はでかくないとすると「セットアップ系でなくてしかも甘辛くない」ということは真実でない; int1 & int2 -> int3: 「その時間障壁はセットアップ系でなくて甘辛くない」ということは誤りだ; int3 & fact17 -> int4: 「その時間障壁は織る」ということは確かだ; int4 & 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: その氏神がセットアップ系であるとすればその時間障壁は滅菌する

仮説: その氏神は滅菌する
1. 事実7と事実10から、推論1: "「その時間障壁はでかくない」ということは正しい"が導かれる
2. 事実11から、推論2: "もしその時間障壁はでかくないとすると「セットアップ系でなくてしかも甘辛くない」ということは真実でない"が導かれる
3. 推論1と推論2から、推論3: "「その時間障壁はセットアップ系でなくて甘辛くない」ということは誤りだ"が導かれる
4. 推論3と事実17から、推論4: "「その時間障壁は織る」ということは確かだ"が導かれる
5. 推論4と事実15から、仮説が導かれる

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