あの自浄作用は執行命令でないししかも付け難くない
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: その腑は病的状態でない
fact8 & fact14 -> int1: この磨きは通婚しない; int1 & fact7 -> int2: 「この積雪は通婚しない一方で病的状態だ」ということは間違いである; int2 & fact18 -> int3: あの定位は付け難くない; int3 & fact4 -> 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$ = 
fact8 & fact14 -> int1: この磨きは通婚しない; int1 & fact7 -> int2: 「この積雪は通婚しない一方で病的状態だ」ということは間違いである; int2 & fact18 -> int3: あの定位は付け難くない; int3 & fact4 -> 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. 事実8と事実14から、推論1: "この磨きは通婚しない"が導かれる
2. 推論1と事実7から、推論2: "「この積雪は通婚しない一方で病的状態だ」ということは間違いである"が導かれる
3. 推論2と事実18から、推論3: "あの定位は付け難くない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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