「その賭博室は無声化し易くないがしかし出難い」ということは本当でない
fact1: もし仮に「この歳出は無縁仏である」ということは真実だとしたらトラックオートメーションである fact2: なんらかのものは無縁仏でないならば「それは無声化し易いということはない一方で出難い」ということは確かだということはない fact3: その賭博室は無声化し易くない fact4: この歳出は滑走しないしその上それは女の子らしくない fact5: もしこの歳出がトラックオートメーションだとしたらそれは出難くない fact6: この歳出は行い易い fact7: その賭博室はヒステリーであるしおまけにそれは貧乏臭い fact8: この歳出はオーディオクリックである fact9: この歳出は無縁仏だししかもそれは行い易い fact10: その公示催告期間中は無縁仏である fact11: その屁は滑走しない fact12: もしもこのアーネスト画廊は合議機関であるならそれは無声化し易い fact13: その賭博室は行い易い fact14: 仮にこの歳出が出難いということはないとするとその賭博室は無声化し易くない fact15: その賭博室は無縁仏だ fact16: この歳出は無声化し易い fact17: この歳出が出難くないならばその賭博室は無声化し易くないけれど出難い
fact9 -> int1: この歳出は無縁仏である; int1 & fact1 -> int2: この歳出はトラックオートメーションだ; int2 & fact5 -> int3: この歳出は出難くない; int3 & fact17 -> hypothesis;
「その賭博室は無声化し易くないけれど出難い」ということは偽だ
fact19 -> int4: その賭博室は無縁仏であるということはないとすれば「無声化し易くないしまたそれは出難い」ということは成り立たない; fact18 -> int5: この歳出は滑走しない; int5 -> int6: 「「滑走しない」ということは成り立つ」物はある;
$facts$ = fact1: もし仮に「この歳出は無縁仏である」ということは真実だとしたらトラックオートメーションである fact2: なんらかのものは無縁仏でないならば「それは無声化し易いということはない一方で出難い」ということは確かだということはない fact3: その賭博室は無声化し易くない fact4: この歳出は滑走しないしその上それは女の子らしくない fact5: もしこの歳出がトラックオートメーションだとしたらそれは出難くない fact6: この歳出は行い易い fact7: その賭博室はヒステリーであるしおまけにそれは貧乏臭い fact8: この歳出はオーディオクリックである fact9: この歳出は無縁仏だししかもそれは行い易い fact10: その公示催告期間中は無縁仏である fact11: その屁は滑走しない fact12: もしもこのアーネスト画廊は合議機関であるならそれは無声化し易い fact13: その賭博室は行い易い fact14: 仮にこの歳出が出難いということはないとするとその賭博室は無声化し易くない fact15: その賭博室は無縁仏だ fact16: この歳出は無声化し易い fact17: この歳出が出難くないならばその賭博室は無声化し易くないけれど出難い ; $hypothesis$ = 「その賭博室は無声化し易くないがしかし出難い」ということは本当でない ; $proof$ = 
fact9 -> int1: この歳出は無縁仏である; int1 & fact1 -> int2: この歳出はトラックオートメーションだ; int2 & fact5 -> int3: この歳出は出難くない; int3 & fact17 -> hypothesis; __DISPROVED__
事実1: もし仮に「この歳出は無縁仏である」ということは真実だとしたらトラックオートメーションである
事実2: なんらかのものは無縁仏でないならば「それは無声化し易いということはない一方で出難い」ということは確かだということはない
事実3: その賭博室は無声化し易くない
事実4: この歳出は滑走しないしその上それは女の子らしくない
事実5: もしこの歳出がトラックオートメーションだとしたらそれは出難くない
事実6: この歳出は行い易い
事実7: その賭博室はヒステリーであるしおまけにそれは貧乏臭い
事実8: この歳出はオーディオクリックである
事実9: この歳出は無縁仏だししかもそれは行い易い
事実10: その公示催告期間中は無縁仏である
事実11: その屁は滑走しない
事実12: もしもこのアーネスト画廊は合議機関であるならそれは無声化し易い
事実13: その賭博室は行い易い
事実14: 仮にこの歳出が出難いということはないとするとその賭博室は無声化し易くない
事実15: その賭博室は無縁仏だ
事実16: この歳出は無声化し易い
事実17: この歳出が出難くないならばその賭博室は無声化し易くないけれど出難い

仮説: 「その賭博室は無声化し易くないがしかし出難い」ということは本当でない
1. 事実9から、推論1: "この歳出は無縁仏である"が導かれる
2. 推論1と事実1から、推論2: "この歳出はトラックオートメーションだ"が導かれる
3. 推論2と事実5から、推論3: "この歳出は出難くない"が導かれる
4. 推論3と事実17から、仮説が否定される

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