その卦は私有企業であるということはなくてそれにそれは保険料納付済み期間でない
fact1: 「この膿は転化しないけれどそれは熱し易い」ということは偽だ fact2: もし「この膿は転化するということはないけれど熱し易い」ということは嘘だとしたら「転化する」ということは本当だ fact3: もしもこの膿は私有企業だということはないとしたら「その卦は私有企業でなくておまけに保険料納付済み期間でない」ということは誤りである fact4: もしもとある物がスクリプトイングでないけれど実体規定だとすればあの膿は愚行である fact5: もし仮になにがしかのものは私有企業でないとすれば「特定化出来る一方で当所でない」ということは嘘だ fact6: もしもスクリプトイングは実体規定であるとすると「この膿は愚行だ」ということは事実である fact7: 愚行が荒々しいとしたらそれは転化しない fact8: 何かは荒々しくないなら「館だしおまけにそれはコックピットでない」ということは成り立たない fact9: あるものはスクリプトイングであるということはないけれど実体規定である fact10: もし「この膿は館だけどコックピットであるということはない」ということは事実と異なれば私有企業だということはない
fact9 & fact4 -> int1: この膿は愚行だ; void -> assump1: 以下のように仮定する。この膿は荒々しい; int1 & assump1 -> int2: 「この膿は愚行であるしおまけに荒々しい」ということは事実である; fact7 -> int3: 「もしこの膿が愚行であるし荒々しいとするとこの膿は転化しない」ということは確かだ; int2 & int3 -> int4: この膿は転化しない; fact1 & fact2 -> int5: この膿は転化する; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この膿は荒々しくない; fact8 -> int8: この膿は荒々しくないなら「館であるしコックピットでない」ということは誤りである; int7 & int8 -> int9: 「この膿は館であるけれどコックピットでない」ということは成り立たない; int9 & fact10 -> int10: この膿は私有企業でない; int10 & fact3 -> hypothesis;
もしこの幻想曲は私有企業でないなら「それは特定化出来るししかも当所でない」ということは嘘である
fact11 -> hypothesis;
$facts$ = fact1: 「この膿は転化しないけれどそれは熱し易い」ということは偽だ fact2: もし「この膿は転化するということはないけれど熱し易い」ということは嘘だとしたら「転化する」ということは本当だ fact3: もしもこの膿は私有企業だということはないとしたら「その卦は私有企業でなくておまけに保険料納付済み期間でない」ということは誤りである fact4: もしもとある物がスクリプトイングでないけれど実体規定だとすればあの膿は愚行である fact5: もし仮になにがしかのものは私有企業でないとすれば「特定化出来る一方で当所でない」ということは嘘だ fact6: もしもスクリプトイングは実体規定であるとすると「この膿は愚行だ」ということは事実である fact7: 愚行が荒々しいとしたらそれは転化しない fact8: 何かは荒々しくないなら「館だしおまけにそれはコックピットでない」ということは成り立たない fact9: あるものはスクリプトイングであるということはないけれど実体規定である fact10: もし「この膿は館だけどコックピットであるということはない」ということは事実と異なれば私有企業だということはない ; $hypothesis$ = その卦は私有企業であるということはなくてそれにそれは保険料納付済み期間でない ; $proof$ = 
fact9 & fact4 -> int1: この膿は愚行だ; void -> assump1: 以下のように仮定する。この膿は荒々しい; int1 & assump1 -> int2: 「この膿は愚行であるしおまけに荒々しい」ということは事実である; fact7 -> int3: 「もしこの膿が愚行であるし荒々しいとするとこの膿は転化しない」ということは確かだ; int2 & int3 -> int4: この膿は転化しない; fact1 & fact2 -> int5: この膿は転化する; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この膿は荒々しくない; fact8 -> int8: この膿は荒々しくないなら「館であるしコックピットでない」ということは誤りである; int7 & int8 -> int9: 「この膿は館であるけれどコックピットでない」ということは成り立たない; int9 & fact10 -> int10: この膿は私有企業でない; int10 & fact3 -> hypothesis; __DISPROVED__
事実1: 「この膿は転化しないけれどそれは熱し易い」ということは偽だ
事実2: もし「この膿は転化するということはないけれど熱し易い」ということは嘘だとしたら「転化する」ということは本当だ
事実3: もしもこの膿は私有企業だということはないとしたら「その卦は私有企業でなくておまけに保険料納付済み期間でない」ということは誤りである
事実4: もしもとある物がスクリプトイングでないけれど実体規定だとすればあの膿は愚行である
事実5: もし仮になにがしかのものは私有企業でないとすれば「特定化出来る一方で当所でない」ということは嘘だ
事実6: もしもスクリプトイングは実体規定であるとすると「この膿は愚行だ」ということは事実である
事実7: 愚行が荒々しいとしたらそれは転化しない
事実8: 何かは荒々しくないなら「館だしおまけにそれはコックピットでない」ということは成り立たない
事実9: あるものはスクリプトイングであるということはないけれど実体規定である
事実10: もし「この膿は館だけどコックピットであるということはない」ということは事実と異なれば私有企業だということはない

仮説: その卦は私有企業であるということはなくてそれにそれは保険料納付済み期間でない
1. 事実9と事実4から、推論1: "この膿は愚行だ"が導かれる
2. 仮定1: 以下のように仮定する。この膿は荒々しい
3. 推論1と仮定1から、推論2: "「この膿は愚行であるしおまけに荒々しい」ということは事実である"が導かれる
4. 事実7から、推論3: "「もしこの膿が愚行であるし荒々しいとするとこの膿は転化しない」ということは確かだ"が導かれる
5. 推論2と推論3から、推論4: "この膿は転化しない"が導かれる
6. 事実1と事実2から、推論5: "この膿は転化する"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この膿は荒々しくない"が導かれる
9. 事実8から、推論8: "この膿は荒々しくないなら「館であるしコックピットでない」ということは誤りである"が導かれる
10. 推論7と推論8から、推論9: "「この膿は館であるけれどコックピットでない」ということは成り立たない"が導かれる
11. 推論9と事実10から、推論10: "この膿は私有企業でない"が導かれる
12. 推論10と事実3から、仮説が否定される

よって、仮説が否定されました。