「「御悪くてＮＰＯ等である」ものはある」ということは間違いだ
fact1: この八王が勘違いし易いとしたらそれは審議会等である fact2: もしもこの八王が審議会等だとすればこの武道館は御悪い fact3: 勘違いし易いものは通じ難くないがしかし株仲間だ fact4: 「司法制度改革推進計画である」物はある fact5: もし「何かは御悪くないしまた審議会等でない」ということは成り立つということはないなら勘違いし易い fact6: もしもこの武道館が喜ぶけれどハープ蚊でないとするとこの八王はハープ蚊でない fact7: 仮にこの捜査令状が首尾一貫するとすると賑わす fact8: もしもあの御気に入りが統一出来ればこの武道館はスポット照射である fact9: スポット照射は喜ぶがハープ蚊でない fact10: もし仮に「この八王はＮＰＯ等でないけど手酷い」ということは嘘ならばあのエクストリーム・スポーツはＮＰＯ等でない fact11: もし「あの天佑は后だ」ということは真実だとするとあの御気に入りは統一出来る fact12: 仮にそのエクストリーム・スポーツが株仲間だとすれば通じ難い fact13: 「そのエクストリーム・スポーツは株仲間である」ということは成り立つ fact14: 「一般ガス事業者な」物はある fact15: この武道館はハープ蚊だ fact16: もしこの武道館がハープ蚊ならそれはＮＰＯ等だ fact17: この捜査令状は他成る fact18: もし仮に「通じ難い」ものがあるとしたらこの八王は勘違いし易い fact19: もし仮にそのエクストリーム・スポーツはＮＰＯ等でないとしたら「そのチーム・ゲームは御悪くないし加えて審議会等でない」ということは誤りだ fact20: そのエクストリーム・スポーツはＮＰＯ等だ fact21: もしあるものはハープ蚊でないとすれば「ＮＰＯ等でないが手酷い」ということは成り立たない fact22: この捜査令状は首尾一貫する
fact12 & fact13 -> int1: そのエクストリーム・スポーツは通じ難い; int1 -> int2: 「通じ難い」ものはある; int2 & fact18 -> int3: この八王は勘違いし易い; int3 & fact1 -> int4: この八王は審議会等である; int4 & fact2 -> int5: この武道館は御悪い; fact16 & fact15 -> int6: この武道館はＮＰＯ等である; int5 & int6 -> int7: この武道館は御悪いししかもＮＰＯ等である; int7 -> hypothesis;
そのチーム・ゲームは株仲間だ
fact30 -> int8: もしそのチーム・ゲームが勘違いし易いならば通じ難くないがしかし株仲間である; fact31 -> int9: 「そのチーム・ゲームは御悪いということはないしまた審議会等でない」ということは本当でないならばそれは勘違いし易い; fact34 -> int10: もし仮に「この八王はハープ蚊でない」ということは真実であるとすれば「ＮＰＯ等でないけれど手酷い」ということは真実でない; fact23 -> int11: もし仮にこの武道館がスポット照射であるとしたら喜ぶしハープ蚊でない; fact27 & fact24 -> int12: この捜査令状は賑わす; fact25 & int12 -> int13: この捜査令状は他成るし加えて賑わす; int13 -> int14: 「他成るし賑わす」物はある;
$facts$ = fact1: この八王が勘違いし易いとしたらそれは審議会等である fact2: もしもこの八王が審議会等だとすればこの武道館は御悪い fact3: 勘違いし易いものは通じ難くないがしかし株仲間だ fact4: 「司法制度改革推進計画である」物はある fact5: もし「何かは御悪くないしまた審議会等でない」ということは成り立つということはないなら勘違いし易い fact6: もしもこの武道館が喜ぶけれどハープ蚊でないとするとこの八王はハープ蚊でない fact7: 仮にこの捜査令状が首尾一貫するとすると賑わす fact8: もしもあの御気に入りが統一出来ればこの武道館はスポット照射である fact9: スポット照射は喜ぶがハープ蚊でない fact10: もし仮に「この八王はＮＰＯ等でないけど手酷い」ということは嘘ならばあのエクストリーム・スポーツはＮＰＯ等でない fact11: もし「あの天佑は后だ」ということは真実だとするとあの御気に入りは統一出来る fact12: 仮にそのエクストリーム・スポーツが株仲間だとすれば通じ難い fact13: 「そのエクストリーム・スポーツは株仲間である」ということは成り立つ fact14: 「一般ガス事業者な」物はある fact15: この武道館はハープ蚊だ fact16: もしこの武道館がハープ蚊ならそれはＮＰＯ等だ fact17: この捜査令状は他成る fact18: もし仮に「通じ難い」ものがあるとしたらこの八王は勘違いし易い fact19: もし仮にそのエクストリーム・スポーツはＮＰＯ等でないとしたら「そのチーム・ゲームは御悪くないし加えて審議会等でない」ということは誤りだ fact20: そのエクストリーム・スポーツはＮＰＯ等だ fact21: もしあるものはハープ蚊でないとすれば「ＮＰＯ等でないが手酷い」ということは成り立たない fact22: この捜査令状は首尾一貫する ; $hypothesis$ = 「「御悪くてＮＰＯ等である」ものはある」ということは間違いだ ; $proof$ = 
fact12 & fact13 -> int1: そのエクストリーム・スポーツは通じ難い; int1 -> int2: 「通じ難い」ものはある; int2 & fact18 -> int3: この八王は勘違いし易い; int3 & fact1 -> int4: この八王は審議会等である; int4 & fact2 -> int5: この武道館は御悪い; fact16 & fact15 -> int6: この武道館はＮＰＯ等である; int5 & int6 -> int7: この武道館は御悪いししかもＮＰＯ等である; int7 -> hypothesis; __DISPROVED__
事実1: この八王が勘違いし易いとしたらそれは審議会等である
事実2: もしもこの八王が審議会等だとすればこの武道館は御悪い
事実3: 勘違いし易いものは通じ難くないがしかし株仲間だ
事実4: 「司法制度改革推進計画である」物はある
事実5: もし「何かは御悪くないしまた審議会等でない」ということは成り立つということはないなら勘違いし易い
事実6: もしもこの武道館が喜ぶけれどハープ蚊でないとするとこの八王はハープ蚊でない
事実7: 仮にこの捜査令状が首尾一貫するとすると賑わす
事実8: もしもあの御気に入りが統一出来ればこの武道館はスポット照射である
事実9: スポット照射は喜ぶがハープ蚊でない
事実10: もし仮に「この八王はＮＰＯ等でないけど手酷い」ということは嘘ならばあのエクストリーム・スポーツはＮＰＯ等でない
事実11: もし「あの天佑は后だ」ということは真実だとするとあの御気に入りは統一出来る
事実12: 仮にそのエクストリーム・スポーツが株仲間だとすれば通じ難い
事実13: 「そのエクストリーム・スポーツは株仲間である」ということは成り立つ
事実14: 「一般ガス事業者な」物はある
事実15: この武道館はハープ蚊だ
事実16: もしこの武道館がハープ蚊ならそれはＮＰＯ等だ
事実17: この捜査令状は他成る
事実18: もし仮に「通じ難い」ものがあるとしたらこの八王は勘違いし易い
事実19: もし仮にそのエクストリーム・スポーツはＮＰＯ等でないとしたら「そのチーム・ゲームは御悪くないし加えて審議会等でない」ということは誤りだ
事実20: そのエクストリーム・スポーツはＮＰＯ等だ
事実21: もしあるものはハープ蚊でないとすれば「ＮＰＯ等でないが手酷い」ということは成り立たない
事実22: この捜査令状は首尾一貫する

仮説: 「「御悪くてＮＰＯ等である」ものはある」ということは間違いだ
1. 事実12と事実13から、推論1: "そのエクストリーム・スポーツは通じ難い"が導かれる
2. 推論1から、推論2: "「通じ難い」ものはある"が導かれる
3. 推論2と事実18から、推論3: "この八王は勘違いし易い"が導かれる
4. 推論3と事実1から、推論4: "この八王は審議会等である"が導かれる
5. 推論4と事実2から、推論5: "この武道館は御悪い"が導かれる
6. 事実16と事実15から、推論6: "この武道館はＮＰＯ等である"が導かれる
7. 推論5と推論6から、推論7: "この武道館は御悪いししかもＮＰＯ等である"が導かれる
8. 推論7から、仮説が否定される

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