この幽遠は語呂合わせだということはない
fact1: 仮に「「目算であるかまたは建設時でないかあるいは両方だ」ということは間違いな」ものがあるとすればその鹿児島市電は残りだ fact2: その租税支出補助金は締結するということはない fact3: もしもこの幽遠が締結するしその上それは対象化するとしたら「協同主体だ」ということは事実だ fact4: もしも何かは対象化すればそれは語呂合わせである fact5: この呼吸法は住み分けないならば「それは目算であるかあるいは建設時でないか両方だ」ということは成り立たない fact6: 仮にその租税支出補助金が締結しないとすると厚くないしそれは協同主体だ fact7: もし仮にとある物は厚くない一方で協同主体であるなら気弱い fact8: その実事は締結するということはない fact9: 仮にその珪藻土が気弱いということはないならこの幽遠は対象化するかもしくは締結しないかまたは両方ともだ fact10: 仮に「残りな」ものがあるならその珪藻土が読み漁るしその上燦星秘伝だ fact11: 仮にあの近代課程が対象化するとすれば語呂合わせである fact12: もし仮にある物が読み漁れば気弱くない fact13: もしもその租税支出補助金が語呂合わせだということはないとしたらそれは対象化しない一方で気弱い fact14: もし「その租税支出補助金は気弱い」ということは正しいとしたらこの幽遠は対象化する fact15: その租税支出補助金は厚くない fact16: この呼吸法は住み分けるということはない fact17: その租税支出補助金は対象化する
fact7 -> int1: もしもその租税支出補助金は厚くないがしかし協同主体だとすれば気弱い; fact6 & fact2 -> int2: その租税支出補助金は厚くない一方で協同主体だ; int1 & int2 -> int3: その租税支出補助金は気弱い; int3 & fact14 -> int4: この幽遠は対象化する; fact4 -> int5: もし仮にこの幽遠が対象化するとすれば語呂合わせである; int4 & int5 -> hypothesis;
あの近代課程は語呂合わせである
fact24 -> int6: 「仮にその珪藻土が読み漁るならその珪藻土は気弱いということはない」ということは成り立つ; fact23 & fact22 -> int7: 「この呼吸法は目算であるかもしくはそれは建設時でないかまたは両方ともである」ということは成り立たない; int7 -> int8: 「「目算であるか建設時でないかもしくは両方である」ということは事実と異なる」ものはある; int8 & fact20 -> int9: その鹿児島市電は残りだ; int9 -> int10: 「残りである」ものはある; int10 & fact18 -> int11: その珪藻土は読み漁るし燦星秘伝である; int11 -> int12: その珪藻土は読み漁る; int6 & int12 -> int13: その珪藻土は気弱くない; fact19 & int13 -> int14: この幽遠は対象化するかもしくは締結しないかもしくは両方ともである; int14 -> int15: 「対象化するかもしくは締結しないか両方ともな」ものはある;
$facts$ = fact1: 仮に「「目算であるかまたは建設時でないかあるいは両方だ」ということは間違いな」ものがあるとすればその鹿児島市電は残りだ fact2: その租税支出補助金は締結するということはない fact3: もしもこの幽遠が締結するしその上それは対象化するとしたら「協同主体だ」ということは事実だ fact4: もしも何かは対象化すればそれは語呂合わせである fact5: この呼吸法は住み分けないならば「それは目算であるかあるいは建設時でないか両方だ」ということは成り立たない fact6: 仮にその租税支出補助金が締結しないとすると厚くないしそれは協同主体だ fact7: もし仮にとある物は厚くない一方で協同主体であるなら気弱い fact8: その実事は締結するということはない fact9: 仮にその珪藻土が気弱いということはないならこの幽遠は対象化するかもしくは締結しないかまたは両方ともだ fact10: 仮に「残りな」ものがあるならその珪藻土が読み漁るしその上燦星秘伝だ fact11: 仮にあの近代課程が対象化するとすれば語呂合わせである fact12: もし仮にある物が読み漁れば気弱くない fact13: もしもその租税支出補助金が語呂合わせだということはないとしたらそれは対象化しない一方で気弱い fact14: もし「その租税支出補助金は気弱い」ということは正しいとしたらこの幽遠は対象化する fact15: その租税支出補助金は厚くない fact16: この呼吸法は住み分けるということはない fact17: その租税支出補助金は対象化する ; $hypothesis$ = この幽遠は語呂合わせだということはない ; $proof$ = 
fact7 -> int1: もしもその租税支出補助金は厚くないがしかし協同主体だとすれば気弱い; fact6 & fact2 -> int2: その租税支出補助金は厚くない一方で協同主体だ; int1 & int2 -> int3: その租税支出補助金は気弱い; int3 & fact14 -> int4: この幽遠は対象化する; fact4 -> int5: もし仮にこの幽遠が対象化するとすれば語呂合わせである; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 仮に「「目算であるかまたは建設時でないかあるいは両方だ」ということは間違いな」ものがあるとすればその鹿児島市電は残りだ
事実2: その租税支出補助金は締結するということはない
事実3: もしもこの幽遠が締結するしその上それは対象化するとしたら「協同主体だ」ということは事実だ
事実4: もしも何かは対象化すればそれは語呂合わせである
事実5: この呼吸法は住み分けないならば「それは目算であるかあるいは建設時でないか両方だ」ということは成り立たない
事実6: 仮にその租税支出補助金が締結しないとすると厚くないしそれは協同主体だ
事実7: もし仮にとある物は厚くない一方で協同主体であるなら気弱い
事実8: その実事は締結するということはない
事実9: 仮にその珪藻土が気弱いということはないならこの幽遠は対象化するかもしくは締結しないかまたは両方ともだ
事実10: 仮に「残りな」ものがあるならその珪藻土が読み漁るしその上燦星秘伝だ
事実11: 仮にあの近代課程が対象化するとすれば語呂合わせである
事実12: もし仮にある物が読み漁れば気弱くない
事実13: もしもその租税支出補助金が語呂合わせだということはないとしたらそれは対象化しない一方で気弱い
事実14: もし「その租税支出補助金は気弱い」ということは正しいとしたらこの幽遠は対象化する
事実15: その租税支出補助金は厚くない
事実16: この呼吸法は住み分けるということはない
事実17: その租税支出補助金は対象化する

仮説: この幽遠は語呂合わせだということはない
1. 事実7から、推論1: "もしもその租税支出補助金は厚くないがしかし協同主体だとすれば気弱い"が導かれる
2. 事実6と事実2から、推論2: "その租税支出補助金は厚くない一方で協同主体だ"が導かれる
3. 推論1と推論2から、推論3: "その租税支出補助金は気弱い"が導かれる
4. 推論3と事実14から、推論4: "この幽遠は対象化する"が導かれる
5. 事実4から、推論5: "もし仮にこの幽遠が対象化するとすれば語呂合わせである"が導かれる
6. 推論4と推論5から、仮説が否定される

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