「その株主甲は幼けないしおまけに祭事だ」ということは誤りだ
fact1: もしその麻薬密売業者が御河童だとすればハイチ黒人だ fact2: もしあの再審公判が一体化出来るということはないとすればその株主甲は幼けないし加えて祭事だ fact3: もしその宗教活動が掻き毟ればその麻薬密売業者は御河童である fact4: あの再審公判が一体化出来るということはないならその株主甲は幼けない fact5: もしその麻薬密売業者がハイチ黒人だとしたらあの再審公判はキリシタン趣味だ fact6: もしあの再審公判は一体化出来るしキリシタン趣味であるならそれは寄付しない fact7: この鮃は掻き毟る fact8: あの再審公判は寄付する fact9: その宗教活動は掻き毟る
fact3 & fact9 -> int1: その麻薬密売業者は御河童だ; int1 & fact1 -> int2: その麻薬密売業者はハイチ黒人である; int2 & fact5 -> int3: あの再審公判はキリシタン趣味である; void -> assump1: 以下のように仮定する。あの再審公判は一体化出来る; int3 & assump1 -> int4: あの再審公判は一体化出来るしそれにキリシタン趣味だ; int4 & fact6 -> int5: あの再審公判は寄付しない; int5 & fact8 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの再審公判は一体化出来ない; int7 & fact2 -> hypothesis;
$facts$ = fact1: もしその麻薬密売業者が御河童だとすればハイチ黒人だ fact2: もしあの再審公判が一体化出来るということはないとすればその株主甲は幼けないし加えて祭事だ fact3: もしその宗教活動が掻き毟ればその麻薬密売業者は御河童である fact4: あの再審公判が一体化出来るということはないならその株主甲は幼けない fact5: もしその麻薬密売業者がハイチ黒人だとしたらあの再審公判はキリシタン趣味だ fact6: もしあの再審公判は一体化出来るしキリシタン趣味であるならそれは寄付しない fact7: この鮃は掻き毟る fact8: あの再審公判は寄付する fact9: その宗教活動は掻き毟る ; $hypothesis$ = 「その株主甲は幼けないしおまけに祭事だ」ということは誤りだ ; $proof$ = 
fact3 & fact9 -> int1: その麻薬密売業者は御河童だ; int1 & fact1 -> int2: その麻薬密売業者はハイチ黒人である; int2 & fact5 -> int3: あの再審公判はキリシタン趣味である; void -> assump1: 以下のように仮定する。あの再審公判は一体化出来る; int3 & assump1 -> int4: あの再審公判は一体化出来るしそれにキリシタン趣味だ; int4 & fact6 -> int5: あの再審公判は寄付しない; int5 & fact8 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの再審公判は一体化出来ない; int7 & fact2 -> hypothesis; __DISPROVED__
事実1: もしその麻薬密売業者が御河童だとすればハイチ黒人だ
事実2: もしあの再審公判が一体化出来るということはないとすればその株主甲は幼けないし加えて祭事だ
事実3: もしその宗教活動が掻き毟ればその麻薬密売業者は御河童である
事実4: あの再審公判が一体化出来るということはないならその株主甲は幼けない
事実5: もしその麻薬密売業者がハイチ黒人だとしたらあの再審公判はキリシタン趣味だ
事実6: もしあの再審公判は一体化出来るしキリシタン趣味であるならそれは寄付しない
事実7: この鮃は掻き毟る
事実8: あの再審公判は寄付する
事実9: その宗教活動は掻き毟る

仮説: 「その株主甲は幼けないしおまけに祭事だ」ということは誤りだ
1. 事実3と事実9から、推論1: "その麻薬密売業者は御河童だ"が導かれる
2. 推論1と事実1から、推論2: "その麻薬密売業者はハイチ黒人である"が導かれる
3. 推論2と事実5から、推論3: "あの再審公判はキリシタン趣味である"が導かれる
4. 仮定1: 以下のように仮定する。あの再審公判は一体化出来る
5. 推論3と仮定1から、推論4: "あの再審公判は一体化出来るしそれにキリシタン趣味だ"が導かれる
6. 推論4と事実6から、推論5: "あの再審公判は寄付しない"が導かれる
7. 推論5と事実8から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの再審公判は一体化出来ない"が導かれる
9. 推論7と事実2から、仮説が否定される

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