あのＣＰＳは捜索する
fact1: 「その税務官公署は変貌する」ということは事実である fact2: あのＣＰＳが配分しないなら捜索する fact3: もしその税務官公署が配分するとしたらその存在有無は配分する fact4: もし仮にその存在有無が扱い難くなくてかつ後期旧石器時代初頭でないならその税務官公署は変貌しない fact5: 仮に何らかの物はカールだということはないとすれば「その浪曲師はうんざりしないがそれはカールである」ということは成り立たない fact6: 仮にその税務官公署が捜索するとしたらそれは変貌しないかもしくは後期旧石器時代初頭でないかまたはどちらもである fact7: その税務官公署は捜索する fact8: もしあのＣＰＳが配分するとするとその存在有無は深追いする fact9: 仮にその存在有無が怪しまないとするとそれは捜索するし扱い難い fact10: もし仮になにがしかのものがうんざりするならそれは変貌しなくて継承するということはない fact11: もしとある物が変貌するということはないとすると深追いするしかつ後期旧石器時代初頭だ fact12: もし仮に「その存在有無は配分するし加えて捜索する」ということは本当であるとすればあのＣＰＳは捜索しない fact13: あのＣＰＳは変貌しない fact14: 何かはカールでない fact15: 「あのＣＰＳは深追いする」ということは成り立つ fact16: 仮にその存在有無が扱い難いとすればあのＣＰＳは深追いする fact17: 「その浪曲師はうんざりしない一方でカールである」ということは成り立たないとしたら「それはうんざりする」ということは事実と異ならない fact18: その存在有無が深追いするとすれば扱い難くないしまた後期旧石器時代初頭でない fact19: もしもその浪曲師が深追いするならその税務官公署は配分する fact20: もし仮になにがしかのものが変貌しないかあるいはそれが後期旧石器時代初頭でないとすれば扱い難くない fact21: 「自然食品店な」ものはある fact22: あのＣＰＳは扱い難くない
void -> assump1: 以下のように仮定する。あのＣＰＳは配分する; fact8 & assump1 -> int1: その存在有無は深追いする; int1 & fact18 -> int2: その存在有無は扱い難くなくてまた後期旧石器時代初頭でない; int2 & fact4 -> int3: 「その税務官公署は変貌しない」ということは本当である; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのＣＰＳは配分しない; int5 & fact2 -> hypothesis;
あのＣＰＳは捜索しない
fact27 -> int6: その浪曲師が変貌するということはないならばそれは深追いするしそれは後期旧石器時代初頭だ; fact25 -> int7: もしその浪曲師がうんざりするとしたらそれは変貌するということはなくてしかも継承しない; fact32 & fact31 -> int8: 「その浪曲師はうんざりしないがしかしそれはカールだ」ということは成り立たない; fact23 & int8 -> int9: 「その浪曲師はうんざりする」ということは成り立つ; int7 & int9 -> int10: その浪曲師は変貌しなくて継承しない; int10 -> int11: その浪曲師は変貌しない; int6 & int11 -> int12: その浪曲師は深追いするし後期旧石器時代初頭である; int12 -> int13: その浪曲師は深追いする; fact26 & int13 -> int14: 「その税務官公署は配分する」ということは真実である; fact29 & int14 -> int15: その存在有無は配分する;
$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$ = 
void -> assump1: 以下のように仮定する。あのＣＰＳは配分する; fact8 & assump1 -> int1: その存在有無は深追いする; int1 & fact18 -> int2: その存在有無は扱い難くなくてまた後期旧石器時代初頭でない; int2 & fact4 -> int3: 「その税務官公署は変貌しない」ということは本当である; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのＣＰＳは配分しない; int5 & fact2 -> hypothesis; __PROVED__
事実1: 「その税務官公署は変貌する」ということは事実である
事実2: あのＣＰＳが配分しないなら捜索する
事実3: もしその税務官公署が配分するとしたらその存在有無は配分する
事実4: もし仮にその存在有無が扱い難くなくてかつ後期旧石器時代初頭でないならその税務官公署は変貌しない
事実5: 仮に何らかの物はカールだということはないとすれば「その浪曲師はうんざりしないがそれはカールである」ということは成り立たない
事実6: 仮にその税務官公署が捜索するとしたらそれは変貌しないかもしくは後期旧石器時代初頭でないかまたはどちらもである
事実7: その税務官公署は捜索する
事実8: もしあのＣＰＳが配分するとするとその存在有無は深追いする
事実9: 仮にその存在有無が怪しまないとするとそれは捜索するし扱い難い
事実10: もし仮になにがしかのものがうんざりするならそれは変貌しなくて継承するということはない
事実11: もしとある物が変貌するということはないとすると深追いするしかつ後期旧石器時代初頭だ
事実12: もし仮に「その存在有無は配分するし加えて捜索する」ということは本当であるとすればあのＣＰＳは捜索しない
事実13: あのＣＰＳは変貌しない
事実14: 何かはカールでない
事実15: 「あのＣＰＳは深追いする」ということは成り立つ
事実16: 仮にその存在有無が扱い難いとすればあのＣＰＳは深追いする
事実17: 「その浪曲師はうんざりしない一方でカールである」ということは成り立たないとしたら「それはうんざりする」ということは事実と異ならない
事実18: その存在有無が深追いするとすれば扱い難くないしまた後期旧石器時代初頭でない
事実19: もしもその浪曲師が深追いするならその税務官公署は配分する
事実20: もし仮になにがしかのものが変貌しないかあるいはそれが後期旧石器時代初頭でないとすれば扱い難くない
事実21: 「自然食品店な」ものはある
事実22: あのＣＰＳは扱い難くない

仮説: あのＣＰＳは捜索する
1. 仮定1: 以下のように仮定する。あのＣＰＳは配分する
2. 事実8と仮定1から、推論1: "その存在有無は深追いする"が導かれる
3. 推論1と事実18から、推論2: "その存在有無は扱い難くなくてまた後期旧石器時代初頭でない"が導かれる
4. 推論2と事実4から、推論3: "「その税務官公署は変貌しない」ということは本当である"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのＣＰＳは配分しない"が導かれる
7. 推論5と事実2から、仮説が導かれる

よって、仮説が証明されました。