この犯罪事実は多しない
fact1: もしもなにかはしゃぶりつかなくてまた徴求でないとすると拠出出来る fact2: もしなにかはしゃぶりつく一方で徴求でないとしたらそれは拠出出来る fact3: 「女道路である」ものはある fact4: 仮になんらかのものは徴求でないとしたらそれはしゃぶりつかない fact5: この犯罪事実は苛々し易い fact6: 仮にあの商業地域は弁別素性だとしたら「拠出出来る」ということは本当だ fact7: この犯罪事実はしゃぶりつかない fact8: もし仮にこの文選工が徴求だ一方で買い受けないならこの犯罪事実は徴求でない fact9: もしもなんらかのものが拠出出来るならそれは多し fact10: その州税は多し fact11: 仮に「女道路な」ものがあればこの犯罪事実はしゃぶりつかなくて徴求でない fact12: あの商業地域は弁別素性だ
fact3 & fact11 -> int1: この犯罪事実はしゃぶりつかないし徴求でない; fact1 -> int2: 仮にこの犯罪事実がしゃぶりつかないしそれにそれは徴求でないとしたらそれは拠出出来る; int1 & int2 -> int3: この犯罪事実は拠出出来る; fact9 -> int4: もし仮にこの犯罪事実が拠出出来ればそれは多し; int3 & int4 -> hypothesis;
この犯罪事実は多しない
fact16 -> int5: もしも「この犯罪事実は徴求でない」ということは確かならばしゃぶりつかない; fact15 & fact14 -> int6: あの商業地域は拠出出来る; int6 -> int7: 「「拠出出来る」ということは本当である」物はある;
$facts$ = fact1: もしもなにかはしゃぶりつかなくてまた徴求でないとすると拠出出来る fact2: もしなにかはしゃぶりつく一方で徴求でないとしたらそれは拠出出来る fact3: 「女道路である」ものはある fact4: 仮になんらかのものは徴求でないとしたらそれはしゃぶりつかない fact5: この犯罪事実は苛々し易い fact6: 仮にあの商業地域は弁別素性だとしたら「拠出出来る」ということは本当だ fact7: この犯罪事実はしゃぶりつかない fact8: もし仮にこの文選工が徴求だ一方で買い受けないならこの犯罪事実は徴求でない fact9: もしもなんらかのものが拠出出来るならそれは多し fact10: その州税は多し fact11: 仮に「女道路な」ものがあればこの犯罪事実はしゃぶりつかなくて徴求でない fact12: あの商業地域は弁別素性だ ; $hypothesis$ = この犯罪事実は多しない ; $proof$ = 
fact3 & fact11 -> int1: この犯罪事実はしゃぶりつかないし徴求でない; fact1 -> int2: 仮にこの犯罪事実がしゃぶりつかないしそれにそれは徴求でないとしたらそれは拠出出来る; int1 & int2 -> int3: この犯罪事実は拠出出来る; fact9 -> int4: もし仮にこの犯罪事実が拠出出来ればそれは多し; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもなにかはしゃぶりつかなくてまた徴求でないとすると拠出出来る
事実2: もしなにかはしゃぶりつく一方で徴求でないとしたらそれは拠出出来る
事実3: 「女道路である」ものはある
事実4: 仮になんらかのものは徴求でないとしたらそれはしゃぶりつかない
事実5: この犯罪事実は苛々し易い
事実6: 仮にあの商業地域は弁別素性だとしたら「拠出出来る」ということは本当だ
事実7: この犯罪事実はしゃぶりつかない
事実8: もし仮にこの文選工が徴求だ一方で買い受けないならこの犯罪事実は徴求でない
事実9: もしもなんらかのものが拠出出来るならそれは多し
事実10: その州税は多し
事実11: 仮に「女道路な」ものがあればこの犯罪事実はしゃぶりつかなくて徴求でない
事実12: あの商業地域は弁別素性だ

仮説: この犯罪事実は多しない
1. 事実3と事実11から、推論1: "この犯罪事実はしゃぶりつかないし徴求でない"が導かれる
2. 事実1から、推論2: "仮にこの犯罪事実がしゃぶりつかないしそれにそれは徴求でないとしたらそれは拠出出来る"が導かれる
3. 推論1と推論2から、推論3: "この犯罪事実は拠出出来る"が導かれる
4. 事実9から、推論4: "もし仮にこの犯罪事実が拠出出来ればそれは多し"が導かれる
5. 推論3と推論4から、仮説が否定される

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