この前部要素は簒奪する一方でそれはもったりしない
fact1: 仮に「この前部要素は働かすしそれは切り売りする」ということは偽ならばそれは分極しない fact2: もしもあの淀がボヘミア王国ならばあのコンテナは意地悪い fact3: 仮に「あの淀は連続する」ということは正しいとするとあのコンテナは意地悪い fact4: もし仮にあの淀が意地悪いとするとボヘミア王国である fact5: この前部要素は切り易い fact6: 「「この前部要素は簒奪するしまたもったりする」ということは間違っている」ということは事実だ fact7: 意地悪いものはもったりする fact8: 仮にあのコンテナはもったりするとすると「この前部要素は簒奪する一方でもったりするということはない」ということは事実と異なる fact9: ボヘミア王国は簒奪するけどもったりしない fact10: あのコンテナはボヘミア王国であるならば「あの淀はもったりするしボヘミア王国だ」ということは事実と異なる fact11: あの淀はボヘミア王国であるかもしくは連続するかまたは両方ともである fact12: もしもこの前部要素が分極するということはないならばあの淀はもったりするし簒奪する
fact11 & fact2 & fact3 -> int1: あのコンテナは意地悪い; fact7 -> int2: もし仮にあのコンテナが意地悪いとすればもったりする; int1 & int2 -> int3: あのコンテナはもったりする; int3 & fact8 -> hypothesis;
この保有率は連続する
$facts$ = fact1: 仮に「この前部要素は働かすしそれは切り売りする」ということは偽ならばそれは分極しない fact2: もしもあの淀がボヘミア王国ならばあのコンテナは意地悪い fact3: 仮に「あの淀は連続する」ということは正しいとするとあのコンテナは意地悪い fact4: もし仮にあの淀が意地悪いとするとボヘミア王国である fact5: この前部要素は切り易い fact6: 「「この前部要素は簒奪するしまたもったりする」ということは間違っている」ということは事実だ fact7: 意地悪いものはもったりする fact8: 仮にあのコンテナはもったりするとすると「この前部要素は簒奪する一方でもったりするということはない」ということは事実と異なる fact9: ボヘミア王国は簒奪するけどもったりしない fact10: あのコンテナはボヘミア王国であるならば「あの淀はもったりするしボヘミア王国だ」ということは事実と異なる fact11: あの淀はボヘミア王国であるかもしくは連続するかまたは両方ともである fact12: もしもこの前部要素が分極するということはないならばあの淀はもったりするし簒奪する ; $hypothesis$ = この前部要素は簒奪する一方でそれはもったりしない ; $proof$ = 
fact11 & fact2 & fact3 -> int1: あのコンテナは意地悪い; fact7 -> int2: もし仮にあのコンテナが意地悪いとすればもったりする; int1 & int2 -> int3: あのコンテナはもったりする; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮に「この前部要素は働かすしそれは切り売りする」ということは偽ならばそれは分極しない
事実2: もしもあの淀がボヘミア王国ならばあのコンテナは意地悪い
事実3: 仮に「あの淀は連続する」ということは正しいとするとあのコンテナは意地悪い
事実4: もし仮にあの淀が意地悪いとするとボヘミア王国である
事実5: この前部要素は切り易い
事実6: 「「この前部要素は簒奪するしまたもったりする」ということは間違っている」ということは事実だ
事実7: 意地悪いものはもったりする
事実8: 仮にあのコンテナはもったりするとすると「この前部要素は簒奪する一方でもったりするということはない」ということは事実と異なる
事実9: ボヘミア王国は簒奪するけどもったりしない
事実10: あのコンテナはボヘミア王国であるならば「あの淀はもったりするしボヘミア王国だ」ということは事実と異なる
事実11: あの淀はボヘミア王国であるかもしくは連続するかまたは両方ともである
事実12: もしもこの前部要素が分極するということはないならばあの淀はもったりするし簒奪する

仮説: この前部要素は簒奪する一方でそれはもったりしない
1. 事実11と事実2と事実3から、推論1: "あのコンテナは意地悪い"が導かれる
2. 事実7から、推論2: "もし仮にあのコンテナが意地悪いとすればもったりする"が導かれる
3. 推論1と推論2から、推論3: "あのコンテナはもったりする"が導かれる
4. 推論3と事実8から、仮説が否定される

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