「何らかのものは出席出来るしまた非国有企業だ」ということは成り立たない
fact1: もし仮に「「変化し易くないしおまけに防止措置でない」ということは成り立たない」ものがあるとしたらあの小使は出席出来る fact2: もしとあるものは代入するけれど変化し易くないならば第一種特別約款であるということはない fact3: 「「変化し易くないが防止措置だ」ということは成り立たない」物はある fact4: なんらかのものは代入する fact5: なにがしかの物は行儀良くなくて性善説でない fact6: もしも「代入しない」ものはあるなら「「このκＰＨは変化し易いけど防止措置でない」ということは確かである」ということは間違いである fact7: 何らかのものは出席出来る fact8: あの御触れは代入する fact9: このκＰＨは非国有企業でない fact10: あの小使は非国有企業だ fact11: もし「代入しない」ものはあれば「このκＰＨは変化し易くないしおまけに防止措置でない」ということは誤りである fact12: なにがしかの物は交際範囲である fact13: なんらかのものは混同し易い fact14: あの他言語は日常家事債務である fact15: あの他言語は代入するということはない fact16: 変化し易い物があるとしたらあの小使は出席出来る
fact15 -> int1: とある物は代入しない; int1 & fact11 -> int2: 「このκＰＨは変化し易いということはなくて防止措置でない」ということは偽だ; int2 -> int3: 「「変化し易くないしさらに防止措置でない」ということは成り立たない」物はある; int3 & fact1 -> int4: あの小使は出席出来る; int4 & fact10 -> int5: あの小使は出席出来るしそれは非国有企業である; int5 -> hypothesis;
何らかのものは第一種特別約款でない
fact17 -> int6: もし仮にこのκＰＨは代入するが変化し易くないならそれは第一種特別約款でない;
$facts$ = fact1: もし仮に「「変化し易くないしおまけに防止措置でない」ということは成り立たない」ものがあるとしたらあの小使は出席出来る fact2: もしとあるものは代入するけれど変化し易くないならば第一種特別約款であるということはない fact3: 「「変化し易くないが防止措置だ」ということは成り立たない」物はある fact4: なんらかのものは代入する fact5: なにがしかの物は行儀良くなくて性善説でない fact6: もしも「代入しない」ものはあるなら「「このκＰＨは変化し易いけど防止措置でない」ということは確かである」ということは間違いである fact7: 何らかのものは出席出来る fact8: あの御触れは代入する fact9: このκＰＨは非国有企業でない fact10: あの小使は非国有企業だ fact11: もし「代入しない」ものはあれば「このκＰＨは変化し易くないしおまけに防止措置でない」ということは誤りである fact12: なにがしかの物は交際範囲である fact13: なんらかのものは混同し易い fact14: あの他言語は日常家事債務である fact15: あの他言語は代入するということはない fact16: 変化し易い物があるとしたらあの小使は出席出来る ; $hypothesis$ = 「何らかのものは出席出来るしまた非国有企業だ」ということは成り立たない ; $proof$ = 
fact15 -> int1: とある物は代入しない; int1 & fact11 -> int2: 「このκＰＨは変化し易いということはなくて防止措置でない」ということは偽だ; int2 -> int3: 「「変化し易くないしさらに防止措置でない」ということは成り立たない」物はある; int3 & fact1 -> int4: あの小使は出席出来る; int4 & fact10 -> int5: あの小使は出席出来るしそれは非国有企業である; int5 -> hypothesis; __DISPROVED__
事実1: もし仮に「「変化し易くないしおまけに防止措置でない」ということは成り立たない」ものがあるとしたらあの小使は出席出来る
事実2: もしとあるものは代入するけれど変化し易くないならば第一種特別約款であるということはない
事実3: 「「変化し易くないが防止措置だ」ということは成り立たない」物はある
事実4: なんらかのものは代入する
事実5: なにがしかの物は行儀良くなくて性善説でない
事実6: もしも「代入しない」ものはあるなら「「このκＰＨは変化し易いけど防止措置でない」ということは確かである」ということは間違いである
事実7: 何らかのものは出席出来る
事実8: あの御触れは代入する
事実9: このκＰＨは非国有企業でない
事実10: あの小使は非国有企業だ
事実11: もし「代入しない」ものはあれば「このκＰＨは変化し易くないしおまけに防止措置でない」ということは誤りである
事実12: なにがしかの物は交際範囲である
事実13: なんらかのものは混同し易い
事実14: あの他言語は日常家事債務である
事実15: あの他言語は代入するということはない
事実16: 変化し易い物があるとしたらあの小使は出席出来る

仮説: 「何らかのものは出席出来るしまた非国有企業だ」ということは成り立たない
1. 事実15から、推論1: "とある物は代入しない"が導かれる
2. 推論1と事実11から、推論2: "「このκＰＨは変化し易いということはなくて防止措置でない」ということは偽だ"が導かれる
3. 推論2から、推論3: "「「変化し易くないしさらに防止措置でない」ということは成り立たない」物はある"が導かれる
4. 推論3と事実1から、推論4: "あの小使は出席出来る"が導かれる
5. 推論4と事実10から、推論5: "あの小使は出席出来るしそれは非国有企業である"が導かれる
6. 推論5から、仮説が否定される

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