あの原料産地は即死だ
fact1: もし仮にこの代表者会が弥次るとするとあの原料産地は即死でない fact2: あの大嵐は補間鋪作であるしまた粘り強い fact3: その管理人さんが選挙すればこの代表者会は選挙しない一方で弥次る fact4: もし「あの大嵐はナイトマーケットである」ということは正しいならばその管理人さんは選挙する fact5: 補間鋪作はナイトマーケットである
fact2 -> int1: あの大嵐は補間鋪作だ; fact5 -> int2: もしもあの大嵐は補間鋪作であるならそれはナイトマーケットだ; int1 & int2 -> int3: あの大嵐はナイトマーケットだ; int3 & fact4 -> int4: 「その管理人さんは選挙する」ということは本当だ; int4 & fact3 -> int5: この代表者会は選挙するということはないが弥次る; int5 -> int6: この代表者会は弥次る; int6 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にこの代表者会が弥次るとするとあの原料産地は即死でない fact2: あの大嵐は補間鋪作であるしまた粘り強い fact3: その管理人さんが選挙すればこの代表者会は選挙しない一方で弥次る fact4: もし「あの大嵐はナイトマーケットである」ということは正しいならばその管理人さんは選挙する fact5: 補間鋪作はナイトマーケットである ; $hypothesis$ = あの原料産地は即死だ ; $proof$ = 
fact2 -> int1: あの大嵐は補間鋪作だ; fact5 -> int2: もしもあの大嵐は補間鋪作であるならそれはナイトマーケットだ; int1 & int2 -> int3: あの大嵐はナイトマーケットだ; int3 & fact4 -> int4: 「その管理人さんは選挙する」ということは本当だ; int4 & fact3 -> int5: この代表者会は選挙するということはないが弥次る; int5 -> int6: この代表者会は弥次る; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの代表者会が弥次るとするとあの原料産地は即死でない
事実2: あの大嵐は補間鋪作であるしまた粘り強い
事実3: その管理人さんが選挙すればこの代表者会は選挙しない一方で弥次る
事実4: もし「あの大嵐はナイトマーケットである」ということは正しいならばその管理人さんは選挙する
事実5: 補間鋪作はナイトマーケットである

仮説: あの原料産地は即死だ
1. 事実2から、推論1: "あの大嵐は補間鋪作だ"が導かれる
2. 事実5から、推論2: "もしもあの大嵐は補間鋪作であるならそれはナイトマーケットだ"が導かれる
3. 推論1と推論2から、推論3: "あの大嵐はナイトマーケットだ"が導かれる
4. 推論3と事実4から、推論4: "「その管理人さんは選挙する」ということは本当だ"が導かれる
5. 推論4と事実3から、推論5: "この代表者会は選挙するということはないが弥次る"が導かれる
6. 推論5から、推論6: "この代表者会は弥次る"が導かれる
7. 推論6と事実1から、仮説が否定される

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