この弱Ｋは侮蔑しないかもしくは起き出しないかまたは両方である
fact1: あの食生活が銘柄でない一方で生産コストだとするとこの弱Ｋは家財道具であるということはない fact2: もしあの食生活が銘柄でまた生産コストであるならこの弱Ｋは家財道具だということはない fact3: もし仮にあの食生活は家財道具であるということはないなら生産コストである fact4: もしとあるものは家財道具であるということはないとしたら「それは侮蔑しないかもしくはそれは起き出しないかもしくは両方である」ということは真実でない fact5: 家財道具は生産コストだということはないかあるいは銘柄でないかもしくはどちらもだ fact6: すべては銘柄でないけれど生産コストである fact7: あの食生活は存在等でない fact8: もし仮にとあるものは脂っこくないとすれば「生還しないかまたは授乳しないかもしくはどちらもである」ということは偽だ fact9: もしもあの食生活は家財道具だということはないとすると「それは銘柄でないかまたは侮蔑しないかもしくは両方だ」ということは成り立つということはない
fact6 -> int1: あの食生活は銘柄でないけど生産コストである; int1 & fact1 -> int2: この弱Ｋは家財道具でない; fact4 -> int3: もしもこの弱Ｋは家財道具でないなら「侮蔑しないかもしくはそれは起き出さない」ということは誤りだ; int2 & int3 -> hypothesis;
この弱Ｋは侮蔑しないかあるいは起き出すということはないかあるいはどちらもだ
fact10 -> int4: もし仮にその国有資本が家財道具であるとするとそれは生産コストでないか銘柄でない;
$facts$ = fact1: あの食生活が銘柄でない一方で生産コストだとするとこの弱Ｋは家財道具であるということはない fact2: もしあの食生活が銘柄でまた生産コストであるならこの弱Ｋは家財道具だということはない fact3: もし仮にあの食生活は家財道具であるということはないなら生産コストである fact4: もしとあるものは家財道具であるということはないとしたら「それは侮蔑しないかもしくはそれは起き出しないかもしくは両方である」ということは真実でない fact5: 家財道具は生産コストだということはないかあるいは銘柄でないかもしくはどちらもだ fact6: すべては銘柄でないけれど生産コストである fact7: あの食生活は存在等でない fact8: もし仮にとあるものは脂っこくないとすれば「生還しないかまたは授乳しないかもしくはどちらもである」ということは偽だ fact9: もしもあの食生活は家財道具だということはないとすると「それは銘柄でないかまたは侮蔑しないかもしくは両方だ」ということは成り立つということはない ; $hypothesis$ = この弱Ｋは侮蔑しないかもしくは起き出しないかまたは両方である ; $proof$ = 
fact6 -> int1: あの食生活は銘柄でないけど生産コストである; int1 & fact1 -> int2: この弱Ｋは家財道具でない; fact4 -> int3: もしもこの弱Ｋは家財道具でないなら「侮蔑しないかもしくはそれは起き出さない」ということは誤りだ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの食生活が銘柄でない一方で生産コストだとするとこの弱Ｋは家財道具であるということはない
事実2: もしあの食生活が銘柄でまた生産コストであるならこの弱Ｋは家財道具だということはない
事実3: もし仮にあの食生活は家財道具であるということはないなら生産コストである
事実4: もしとあるものは家財道具であるということはないとしたら「それは侮蔑しないかもしくはそれは起き出しないかもしくは両方である」ということは真実でない
事実5: 家財道具は生産コストだということはないかあるいは銘柄でないかもしくはどちらもだ
事実6: すべては銘柄でないけれど生産コストである
事実7: あの食生活は存在等でない
事実8: もし仮にとあるものは脂っこくないとすれば「生還しないかまたは授乳しないかもしくはどちらもである」ということは偽だ
事実9: もしもあの食生活は家財道具だということはないとすると「それは銘柄でないかまたは侮蔑しないかもしくは両方だ」ということは成り立つということはない

仮説: この弱Ｋは侮蔑しないかもしくは起き出しないかまたは両方である
1. 事実6から、推論1: "あの食生活は銘柄でないけど生産コストである"が導かれる
2. 推論1と事実1から、推論2: "この弱Ｋは家財道具でない"が導かれる
3. 事実4から、推論3: "もしもこの弱Ｋは家財道具でないなら「侮蔑しないかもしくはそれは起き出さない」ということは誤りだ"が導かれる
4. 推論2と推論3から、仮説が否定される

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