その兵事門は崩れない
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: このスポロトリコーシスは黴臭くない
void -> assump1: 以下のように仮定する。このスポロトリコーシスは自治体でない; assump1 & fact25 -> int1: このスポロトリコーシスは自治体でなくてその上黴臭くない; fact17 & fact20 -> int2: 「このスポロトリコーシスは自治体でなくてそれは黴臭くない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このスポロトリコーシスは自治体である」ということは誤っていない; int4 & fact8 -> int5: この回答内容は守り易い; fact24 -> int6: この回答内容は重宝する; int5 & int6 -> int7: この回答内容は重宝するし守り易い; int7 & fact19 -> 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$ = 
void -> assump1: 以下のように仮定する。このスポロトリコーシスは自治体でない; assump1 & fact25 -> int1: このスポロトリコーシスは自治体でなくてその上黴臭くない; fact17 & fact20 -> int2: 「このスポロトリコーシスは自治体でなくてそれは黴臭くない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このスポロトリコーシスは自治体である」ということは誤っていない; int4 & fact8 -> int5: この回答内容は守り易い; fact24 -> int6: この回答内容は重宝する; int5 & int6 -> int7: この回答内容は重宝するし守り易い; int7 & fact19 -> 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. 仮定1: 以下のように仮定する。このスポロトリコーシスは自治体でない
2. 仮定1と事実25から、推論1: "このスポロトリコーシスは自治体でなくてその上黴臭くない"が導かれる
3. 事実17と事実20から、推論2: "「このスポロトリコーシスは自治体でなくてそれは黴臭くない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このスポロトリコーシスは自治体である」ということは誤っていない"が導かれる
6. 推論4と事実8から、推論5: "この回答内容は守り易い"が導かれる
7. 事実24から、推論6: "この回答内容は重宝する"が導かれる
8. 推論5と推論6から、推論7: "この回答内容は重宝するし守り易い"が導かれる
9. 推論7と事実19から、仮説が導かれる

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