このアーク溶接は新株発行しない
fact1: もしも「あの躍進はごつごつしないけど上げ始める」ということは間違っているとするとそれは上げ始めない fact2: 「この車庫証明は奪取しなくてそれは調印しない」ということは成り立たない fact3: 仮に何かは掘るということはないとすれば「ごつごつしないが上げ始める」ということは事実と異なる fact4: あの躍進は弁解がましかない fact5: その代表曲は姉らしくない fact6: この住人達は新株発行しない fact7: もし仮にあの同種は有る有らないならば「その代表曲は定立しない一方で詠唱する」ということは誤りだ fact8: もし「「この車庫証明は有る有る一方で大リーガーでない」ということは事実である」ということは成り立たないならば「あの同種は有る有るということはない」ということは事実である fact9: 「もし仮にとあるものはホモ・サピエンスでないならば「それは有る有るがしかし大リーガーでない」ということは間違いだ」ということは成り立つ fact10: あの躍進が弁解がましくらないしそれが姉らしくないならばあの代表曲は新株発行する fact11: もしその代表曲が姉らしくないしかつ後ろ暗いということはないとしたらこのアーク溶接は新株発行する fact12: もしなにかはドックでないなら弁解がましいということはない fact13: もしもその代表曲が新株発行しないならこのアーク溶接は姉らしくないししかも後ろ暗くない fact14: 「このアーク溶接は押し易くない」ということは本当だ fact15: もしもその代表曲が新株発行するということはないとするとあの躍進が弁解はましくらなくて姉らしくない fact16: もし仮にあの躍進が弁解がましいということはないとすればその代表曲は姉らしくないしそれは後ろ暗くない fact17: もし「この車庫証明は奪取しないしまた調印するということはない」ということは誤っているならそれはホモ・サピエンスだということはない fact18: もし何かは弁解がましくらないとすればそれは新株発行するということはない fact19: あの躍進が弁解がましいけれど後ろ暗くないとするとその代表曲は姉らしい fact20: もし「その代表曲は定立しないがしかし詠唱する」ということは誤っていればあの躍進は掘らない fact21: もし仮にその代表曲が姉らしいがしかし後ろ暗くないとしたらこのアーク溶接は新株発行する
fact16 & fact4 -> int1: その代表曲は姉らしくないしまた後ろ暗くない; int1 & fact11 -> hypothesis;
fact16 & fact4 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact11 -> hypothesis;
このアーク溶接は新株発行しない
fact31 -> int2: 仮にこのアーク溶接が弁解がましかないならば新株発行しない; fact25 -> int3: もしもこのアーク溶接はドックでないならば「弁解はましくらない」ということは真実だ; fact27 -> int4: 仮に「あの躍進は掘らない」ということは真実であるとすれば「それはごつごつしないが上げ始める」ということは成り立つということはない; fact24 -> int5: 仮にこの車庫証明はホモ・サピエンスでないとしたら「それは有る有るしさらにそれは大リーガーだということはない」ということは間違いだ; fact29 & fact23 -> int6: この車庫証明はホモ・サピエンスでない; int5 & int6 -> int7: 「この車庫証明は有る有るけれど大リーガーでない」ということは事実と異なる; fact30 & int7 -> int8: あの同種は有る有らない; fact26 & int8 -> int9: 「その代表曲は定立しないが詠唱する」ということは正しくない; fact28 & int9 -> int10: あの躍進は掘らない; int4 & int10 -> int11: 「あの躍進はごつごつしないけれど上げ始める」ということは誤りである; fact22 & int11 -> int12: あの躍進は上げ始めない; int12 -> int13: 「「上げ始めない」ものはある」ということは成り立つ;
$facts$ = fact1: もしも「あの躍進はごつごつしないけど上げ始める」ということは間違っているとするとそれは上げ始めない fact2: 「この車庫証明は奪取しなくてそれは調印しない」ということは成り立たない fact3: 仮に何かは掘るということはないとすれば「ごつごつしないが上げ始める」ということは事実と異なる fact4: あの躍進は弁解がましかない fact5: その代表曲は姉らしくない fact6: この住人達は新株発行しない fact7: もし仮にあの同種は有る有らないならば「その代表曲は定立しない一方で詠唱する」ということは誤りだ fact8: もし「「この車庫証明は有る有る一方で大リーガーでない」ということは事実である」ということは成り立たないならば「あの同種は有る有るということはない」ということは事実である fact9: 「もし仮にとあるものはホモ・サピエンスでないならば「それは有る有るがしかし大リーガーでない」ということは間違いだ」ということは成り立つ fact10: あの躍進が弁解がましくらないしそれが姉らしくないならばあの代表曲は新株発行する fact11: もしその代表曲が姉らしくないしかつ後ろ暗いということはないとしたらこのアーク溶接は新株発行する fact12: もしなにかはドックでないなら弁解がましいということはない fact13: もしもその代表曲が新株発行しないならこのアーク溶接は姉らしくないししかも後ろ暗くない fact14: 「このアーク溶接は押し易くない」ということは本当だ fact15: もしもその代表曲が新株発行するということはないとするとあの躍進が弁解はましくらなくて姉らしくない fact16: もし仮にあの躍進が弁解がましいということはないとすればその代表曲は姉らしくないしそれは後ろ暗くない fact17: もし「この車庫証明は奪取しないしまた調印するということはない」ということは誤っているならそれはホモ・サピエンスだということはない fact18: もし何かは弁解がましくらないとすればそれは新株発行するということはない fact19: あの躍進が弁解がましいけれど後ろ暗くないとするとその代表曲は姉らしい fact20: もし「その代表曲は定立しないがしかし詠唱する」ということは誤っていればあの躍進は掘らない fact21: もし仮にその代表曲が姉らしいがしかし後ろ暗くないとしたらこのアーク溶接は新株発行する ; $hypothesis$ = このアーク溶接は新株発行しない ; $proof$ = 
fact16 & fact4 -> int1: その代表曲は姉らしくないしまた後ろ暗くない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: もしも「あの躍進はごつごつしないけど上げ始める」ということは間違っているとするとそれは上げ始めない
事実2: 「この車庫証明は奪取しなくてそれは調印しない」ということは成り立たない
事実3: 仮に何かは掘るということはないとすれば「ごつごつしないが上げ始める」ということは事実と異なる
事実4: あの躍進は弁解がましかない
事実5: その代表曲は姉らしくない
事実6: この住人達は新株発行しない
事実7: もし仮にあの同種は有る有らないならば「その代表曲は定立しない一方で詠唱する」ということは誤りだ
事実8: もし「「この車庫証明は有る有る一方で大リーガーでない」ということは事実である」ということは成り立たないならば「あの同種は有る有るということはない」ということは事実である
事実9: 「もし仮にとあるものはホモ・サピエンスでないならば「それは有る有るがしかし大リーガーでない」ということは間違いだ」ということは成り立つ
事実10: あの躍進が弁解がましくらないしそれが姉らしくないならばあの代表曲は新株発行する
事実11: もしその代表曲が姉らしくないしかつ後ろ暗いということはないとしたらこのアーク溶接は新株発行する
事実12: もしなにかはドックでないなら弁解がましいということはない
事実13: もしもその代表曲が新株発行しないならこのアーク溶接は姉らしくないししかも後ろ暗くない
事実14: 「このアーク溶接は押し易くない」ということは本当だ
事実15: もしもその代表曲が新株発行するということはないとするとあの躍進が弁解はましくらなくて姉らしくない
事実16: もし仮にあの躍進が弁解がましいということはないとすればその代表曲は姉らしくないしそれは後ろ暗くない
事実17: もし「この車庫証明は奪取しないしまた調印するということはない」ということは誤っているならそれはホモ・サピエンスだということはない
事実18: もし何かは弁解がましくらないとすればそれは新株発行するということはない
事実19: あの躍進が弁解がましいけれど後ろ暗くないとするとその代表曲は姉らしい
事実20: もし「その代表曲は定立しないがしかし詠唱する」ということは誤っていればあの躍進は掘らない
事実21: もし仮にその代表曲が姉らしいがしかし後ろ暗くないとしたらこのアーク溶接は新株発行する

仮説: このアーク溶接は新株発行しない
1. 事実16と事実4から、推論1: "その代表曲は姉らしくないしまた後ろ暗くない"が導かれる
2. 推論1と事実11から、仮説が否定される

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