この根拠規定は所在しない
fact1: 仮にとある物が他成れば所在する fact2: 「むさくない」ものはある fact3: 仮に「この根拠規定は所在しないがそれは他成る」ということは成り立たないならばその労使委員会は所在しない fact4: この根拠規定は愛らしくない fact5: もし仮になにがしかのものはちっこいとしたら「「それはドットであるし加えてむさくない」ということは間違っているということはない」ということは間違いである fact6: もし仮にあるものが愛らしいということはなくて加えて他成らないとすればその新株式はちっこい fact7: もしもなにがしかの物は憎らしいとすれば「それはカタログ化するし処刑する」ということは事実と異なる fact8: 全てのものはドットだけれどむさくない
void -> assump1: 以下のように仮定する。「この根拠規定は他成るということはない」ということは正しい; fact4 & assump1 -> int1: この根拠規定は愛らしくないしかつ他成らない; int1 -> int2: とある物は愛らしくないしそれにそれは他成らない; int2 & fact6 -> int3: その新株式はちっこい; fact5 -> int4: 仮に「その新株式はちっこい」ということは本当だとすると「それがドットだしそれはむさくない」ということは成り立たない; int3 & int4 -> int5: 「「その新株式はドットであるがむさくない」ということは確かだ」ということは誤りだ; fact8 -> int6: その新株式はドットであるけれどむさくない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この根拠規定は他成る; fact1 -> int9: 「「この根拠規定は他成る」ということは成り立つとしたらこの根拠規定は所在する」ということは確かである; int8 & int9 -> hypothesis;
この根拠規定は所在しない
$facts$ = fact1: 仮にとある物が他成れば所在する fact2: 「むさくない」ものはある fact3: 仮に「この根拠規定は所在しないがそれは他成る」ということは成り立たないならばその労使委員会は所在しない fact4: この根拠規定は愛らしくない fact5: もし仮になにがしかのものはちっこいとしたら「「それはドットであるし加えてむさくない」ということは間違っているということはない」ということは間違いである fact6: もし仮にあるものが愛らしいということはなくて加えて他成らないとすればその新株式はちっこい fact7: もしもなにがしかの物は憎らしいとすれば「それはカタログ化するし処刑する」ということは事実と異なる fact8: 全てのものはドットだけれどむさくない ; $hypothesis$ = この根拠規定は所在しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この根拠規定は他成るということはない」ということは正しい; fact4 & assump1 -> int1: この根拠規定は愛らしくないしかつ他成らない; int1 -> int2: とある物は愛らしくないしそれにそれは他成らない; int2 & fact6 -> int3: その新株式はちっこい; fact5 -> int4: 仮に「その新株式はちっこい」ということは本当だとすると「それがドットだしそれはむさくない」ということは成り立たない; int3 & int4 -> int5: 「「その新株式はドットであるがむさくない」ということは確かだ」ということは誤りだ; fact8 -> int6: その新株式はドットであるけれどむさくない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この根拠規定は他成る; fact1 -> int9: 「「この根拠規定は他成る」ということは成り立つとしたらこの根拠規定は所在する」ということは確かである; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 仮にとある物が他成れば所在する
事実2: 「むさくない」ものはある
事実3: 仮に「この根拠規定は所在しないがそれは他成る」ということは成り立たないならばその労使委員会は所在しない
事実4: この根拠規定は愛らしくない
事実5: もし仮になにがしかのものはちっこいとしたら「「それはドットであるし加えてむさくない」ということは間違っているということはない」ということは間違いである
事実6: もし仮にあるものが愛らしいということはなくて加えて他成らないとすればその新株式はちっこい
事実7: もしもなにがしかの物は憎らしいとすれば「それはカタログ化するし処刑する」ということは事実と異なる
事実8: 全てのものはドットだけれどむさくない

仮説: この根拠規定は所在しない
1. 仮定1: 以下のように仮定する。「この根拠規定は他成るということはない」ということは正しい
2. 事実4と仮定1から、推論1: "この根拠規定は愛らしくないしかつ他成らない"が導かれる
3. 推論1から、推論2: "とある物は愛らしくないしそれにそれは他成らない"が導かれる
4. 推論2と事実6から、推論3: "その新株式はちっこい"が導かれる
5. 事実5から、推論4: "仮に「その新株式はちっこい」ということは本当だとすると「それがドットだしそれはむさくない」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "「「その新株式はドットであるがむさくない」ということは確かだ」ということは誤りだ"が導かれる
7. 事実8から、推論6: "その新株式はドットであるけれどむさくない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この根拠規定は他成る"が導かれる
10. 事実1から、推論9: "「「この根拠規定は他成る」ということは成り立つとしたらこの根拠規定は所在する」ということは確かである"が導かれる
11. 推論8と推論9から、仮説が否定される

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