その重要分野は甘い
fact1: もし仮にその重要分野が宣するとすれば甘い fact2: この危険物施設は酷い fact3: 「仮にその会員以外が配色しないとしたらその会員以外は故無くなくてそれにアルカリでない」ということは本当だ fact4: 「たどたどしい」ものはある fact5: もし仮に故無くないものはアルカリでないとしたらそれは酷い fact6: もしもその自己決定論は宣しないとすると「「「その重要分野は宣しないが砂遊びである」ということは真実である」ということは偽である」ということは成り立つ fact7: もしも「「利益追求でないし更に五色だ」ということは間違っている」物があるならばあの危険物施設は甘い fact8: もしもこの危険物施設は利益追求だということはないとすると「その自己決定論は甘い一方で五色であるということはない」ということは嘘だ fact9: もし「たどたどしくてかつ宣する」物があるとすればあの危険物施設は扱き下ろさない fact10: その会員以外は配色しない fact11: 何らかのものはアルカリだがしかし扱き下ろさない fact12: もしこの危険物施設は酷いとすれば「それはアルカリであるけど扱き下ろさない」ということは事実と異なる fact13: もしも「なんらかの物は宣しないけど砂遊びである」ということは本当でないとするとそれは甘い fact14: ある物は五色だが利益追求でない fact15: その会員以外が扱き下ろすが砂遊びでないならその二十分遅れは扱き下ろさない fact16: 仮に五色が利益追求でないとしたらその自己決定論はたどたどしい fact17: 「その二十分遅れは扱き下ろすがしかし砂遊びでない」ということは偽だ fact18: もしも「「扱き下ろすし砂遊びでない」ということは成り立たない」ものがあるとするとこの危険物施設は宣する fact19: もし「たどたどしいということはない」物はあるとすれば「その自己決定論は利益追求でないがしかし五色だ」ということは嘘だ fact20: 仮にその二十分遅れが扱き下ろさないとするとその重要分野は宣するけれどたどたどしくない fact21: もし「この危険物施設はアルカリであるけど扱き下ろすということはない」ということは成り立たないならそれは扱き下ろす
fact14 & fact16 -> int1: その自己決定論はたどたどしい; void -> assump1: 以下のように仮定する。「その自己決定論は宣する」ということは本当だ; int1 & assump1 -> int2: その自己決定論はたどたどしいしそれに宣する; int2 -> int3: 何かはたどたどしいし宣する; int3 & fact9 -> int4: この危険物施設は扱き下ろさない; fact12 & fact2 -> int5: 「この危険物施設はアルカリだ一方で扱き下ろすということはない」ということは間違いである; fact21 & int5 -> int6: この危険物施設は扱き下ろす; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その自己決定論は宣するということはない; int8 & fact6 -> int9: 「その重要分野は宣しないけれど砂遊びだ」ということは嘘である; fact13 -> int10: もし「その重要分野は宣しない一方で砂遊びだ」ということは成り立たないならば甘い; int9 & int10 -> hypothesis;
この危険物施設は甘い
fact24 -> int11: もし仮にその会員以外は故無くないしそれにアルカリであるということはないならそれは酷い; fact25 & fact27 -> int12: その会員以外は故無いということはなくてアルカリでない; int11 & int12 -> int13: その会員以外は酷い;
$facts$ = fact1: もし仮にその重要分野が宣するとすれば甘い fact2: この危険物施設は酷い fact3: 「仮にその会員以外が配色しないとしたらその会員以外は故無くなくてそれにアルカリでない」ということは本当だ fact4: 「たどたどしい」ものはある fact5: もし仮に故無くないものはアルカリでないとしたらそれは酷い fact6: もしもその自己決定論は宣しないとすると「「「その重要分野は宣しないが砂遊びである」ということは真実である」ということは偽である」ということは成り立つ fact7: もしも「「利益追求でないし更に五色だ」ということは間違っている」物があるならばあの危険物施設は甘い fact8: もしもこの危険物施設は利益追求だということはないとすると「その自己決定論は甘い一方で五色であるということはない」ということは嘘だ fact9: もし「たどたどしくてかつ宣する」物があるとすればあの危険物施設は扱き下ろさない fact10: その会員以外は配色しない fact11: 何らかのものはアルカリだがしかし扱き下ろさない fact12: もしこの危険物施設は酷いとすれば「それはアルカリであるけど扱き下ろさない」ということは事実と異なる fact13: もしも「なんらかの物は宣しないけど砂遊びである」ということは本当でないとするとそれは甘い fact14: ある物は五色だが利益追求でない fact15: その会員以外が扱き下ろすが砂遊びでないならその二十分遅れは扱き下ろさない fact16: 仮に五色が利益追求でないとしたらその自己決定論はたどたどしい fact17: 「その二十分遅れは扱き下ろすがしかし砂遊びでない」ということは偽だ fact18: もしも「「扱き下ろすし砂遊びでない」ということは成り立たない」ものがあるとするとこの危険物施設は宣する fact19: もし「たどたどしいということはない」物はあるとすれば「その自己決定論は利益追求でないがしかし五色だ」ということは嘘だ fact20: 仮にその二十分遅れが扱き下ろさないとするとその重要分野は宣するけれどたどたどしくない fact21: もし「この危険物施設はアルカリであるけど扱き下ろすということはない」ということは成り立たないならそれは扱き下ろす ; $hypothesis$ = その重要分野は甘い ; $proof$ = 
fact14 & fact16 -> int1: その自己決定論はたどたどしい; void -> assump1: 以下のように仮定する。「その自己決定論は宣する」ということは本当だ; int1 & assump1 -> int2: その自己決定論はたどたどしいしそれに宣する; int2 -> int3: 何かはたどたどしいし宣する; int3 & fact9 -> int4: この危険物施設は扱き下ろさない; fact12 & fact2 -> int5: 「この危険物施設はアルカリだ一方で扱き下ろすということはない」ということは間違いである; fact21 & int5 -> int6: この危険物施設は扱き下ろす; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その自己決定論は宣するということはない; int8 & fact6 -> int9: 「その重要分野は宣しないけれど砂遊びだ」ということは嘘である; fact13 -> int10: もし「その重要分野は宣しない一方で砂遊びだ」ということは成り立たないならば甘い; int9 & int10 -> hypothesis; __PROVED__
事実1: もし仮にその重要分野が宣するとすれば甘い
事実2: この危険物施設は酷い
事実3: 「仮にその会員以外が配色しないとしたらその会員以外は故無くなくてそれにアルカリでない」ということは本当だ
事実4: 「たどたどしい」ものはある
事実5: もし仮に故無くないものはアルカリでないとしたらそれは酷い
事実6: もしもその自己決定論は宣しないとすると「「「その重要分野は宣しないが砂遊びである」ということは真実である」ということは偽である」ということは成り立つ
事実7: もしも「「利益追求でないし更に五色だ」ということは間違っている」物があるならばあの危険物施設は甘い
事実8: もしもこの危険物施設は利益追求だということはないとすると「その自己決定論は甘い一方で五色であるということはない」ということは嘘だ
事実9: もし「たどたどしくてかつ宣する」物があるとすればあの危険物施設は扱き下ろさない
事実10: その会員以外は配色しない
事実11: 何らかのものはアルカリだがしかし扱き下ろさない
事実12: もしこの危険物施設は酷いとすれば「それはアルカリであるけど扱き下ろさない」ということは事実と異なる
事実13: もしも「なんらかの物は宣しないけど砂遊びである」ということは本当でないとするとそれは甘い
事実14: ある物は五色だが利益追求でない
事実15: その会員以外が扱き下ろすが砂遊びでないならその二十分遅れは扱き下ろさない
事実16: 仮に五色が利益追求でないとしたらその自己決定論はたどたどしい
事実17: 「その二十分遅れは扱き下ろすがしかし砂遊びでない」ということは偽だ
事実18: もしも「「扱き下ろすし砂遊びでない」ということは成り立たない」ものがあるとするとこの危険物施設は宣する
事実19: もし「たどたどしいということはない」物はあるとすれば「その自己決定論は利益追求でないがしかし五色だ」ということは嘘だ
事実20: 仮にその二十分遅れが扱き下ろさないとするとその重要分野は宣するけれどたどたどしくない
事実21: もし「この危険物施設はアルカリであるけど扱き下ろすということはない」ということは成り立たないならそれは扱き下ろす

仮説: その重要分野は甘い
1. 事実14と事実16から、推論1: "その自己決定論はたどたどしい"が導かれる
2. 仮定1: 以下のように仮定する。「その自己決定論は宣する」ということは本当だ
3. 推論1と仮定1から、推論2: "その自己決定論はたどたどしいしそれに宣する"が導かれる
4. 推論2から、推論3: "何かはたどたどしいし宣する"が導かれる
5. 推論3と事実9から、推論4: "この危険物施設は扱き下ろさない"が導かれる
6. 事実12と事実2から、推論5: "「この危険物施設はアルカリだ一方で扱き下ろすということはない」ということは間違いである"が導かれる
7. 事実21と推論5から、推論6: "この危険物施設は扱き下ろす"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その自己決定論は宣するということはない"が導かれる
10. 推論8と事実6から、推論9: "「その重要分野は宣しないけれど砂遊びだ」ということは嘘である"が導かれる
11. 事実13から、推論10: "もし「その重要分野は宣しない一方で砂遊びだ」ということは成り立たないならば甘い"が導かれる
12. 推論9と推論10から、仮説が導かれる

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