その膣は保安上だしその上電気工事会社だ
fact1: その草莽は浅いけど合流しない fact2: もしもなにかは食わせ物である一方でそれが浅いということはないならその膣は電気工事会社だ fact3: そのミュータントは浅い fact4: 「大同協和会な」物があればその草莽は気付き易いけどそれはからしない fact5: 共鳴し易いものは見出だし得る fact6: もしも「何らかのものはからしないかもしくは気付き易くないかあるいは両方である」ということは偽であるとすればそれは大同協和会でない fact7: 「大同協和会である」物はある fact8: この登記記録がすっごくないとすればそのミュータントは共鳴し易い fact9: あの亜硫酸ガスは気付き易くない fact10: 仮にある物が共鳴し易いとするとこの登記記録は気付き易いがしかしそれはすっごくない fact11: その草莽は気付き易い fact12: もしその草莽は大同協和会でないとすれば「その膣は保安上であるしさらに電気工事会社だ」ということは嘘だ fact13: もしもその取り寄せが書き難いけれどすっごいないならそのミュータントは共鳴し易くない fact14: そのミュータントは食わせ物であるということはない fact15: 「浅いということはない」ものはある fact16: もしもこの登記記録が見出だし得るが共鳴し易くないとすればその草莽はすっごくない fact17: 「食わせ物な」物はある fact18: 「食わせ物だし浅い」物はある fact19: もしなにがしかの物は書き難いなら「それは見出だし得るし加えて共鳴し易くない」ということは成り立つ fact20: もしもその草莽が気付き易いがからするということはないならこの登記記録はすっごくない fact21: もし仮に何らかの物はすっごくないとすれば「それはからしないかまたは気付き易くない」ということは嘘だ fact22: そのミュータントが見出だし得ればその取り寄せは書き難い fact23: この登記記録が保安上だとするとその膣はすっごい fact24: もし「大同協和会な」ものがあるとしたらその草莽は気付き易い fact25: もし仮にその取り寄せが書き難いならその膣は保安上だ fact26: 「なにかは食わせ物であるが浅くない」ということは本当である fact27: その取り寄せが共鳴し易いとしたらそのミュータントは書き難い fact28: もしこの登記記録がからするが気付き易くないとするとその草莽はすっごいということはない
fact7 & fact4 -> int1: その草莽は気付き易いけどからしない; int1 & fact20 -> int2: この登記記録はすっごいということはない; int2 & fact8 -> int3: 「そのミュータントは共鳴し易い」ということは確かである; fact5 -> int4: もしそのミュータントが共鳴し易いとしたら見出だし得る; int3 & int4 -> int5: 「そのミュータントは見出だし得る」ということは確かである; int5 & fact22 -> int6: その取り寄せは書き難い; int6 & fact25 -> int7: 「その膣は保安上である」ということは本当だ; fact2 & fact26 -> int8: その膣は電気工事会社だ; int7 & int8 -> hypothesis;
「その膣は保安上でしかもそれは電気工事会社だ」ということは嘘だ
fact33 -> int9: もし仮に「その草莽はからするということはないか気付き易くないか両方だ」ということは成り立たないとすれば大同協和会でない; fact31 -> int10: その草莽はすっごいということはないとしたら「からしないかまたはそれは気付き易くないかあるいは両方ともである」ということは成り立たない; fact29 -> int11: もしもこの登記記録が書き難いならば見出だし得るしそれは共鳴し易くない;
$facts$ = fact1: その草莽は浅いけど合流しない fact2: もしもなにかは食わせ物である一方でそれが浅いということはないならその膣は電気工事会社だ fact3: そのミュータントは浅い fact4: 「大同協和会な」物があればその草莽は気付き易いけどそれはからしない fact5: 共鳴し易いものは見出だし得る fact6: もしも「何らかのものはからしないかもしくは気付き易くないかあるいは両方である」ということは偽であるとすればそれは大同協和会でない fact7: 「大同協和会である」物はある fact8: この登記記録がすっごくないとすればそのミュータントは共鳴し易い fact9: あの亜硫酸ガスは気付き易くない fact10: 仮にある物が共鳴し易いとするとこの登記記録は気付き易いがしかしそれはすっごくない fact11: その草莽は気付き易い fact12: もしその草莽は大同協和会でないとすれば「その膣は保安上であるしさらに電気工事会社だ」ということは嘘だ fact13: もしもその取り寄せが書き難いけれどすっごいないならそのミュータントは共鳴し易くない fact14: そのミュータントは食わせ物であるということはない fact15: 「浅いということはない」ものはある fact16: もしもこの登記記録が見出だし得るが共鳴し易くないとすればその草莽はすっごくない fact17: 「食わせ物な」物はある fact18: 「食わせ物だし浅い」物はある fact19: もしなにがしかの物は書き難いなら「それは見出だし得るし加えて共鳴し易くない」ということは成り立つ fact20: もしもその草莽が気付き易いがからするということはないならこの登記記録はすっごくない fact21: もし仮に何らかの物はすっごくないとすれば「それはからしないかまたは気付き易くない」ということは嘘だ fact22: そのミュータントが見出だし得ればその取り寄せは書き難い fact23: この登記記録が保安上だとするとその膣はすっごい fact24: もし「大同協和会な」ものがあるとしたらその草莽は気付き易い fact25: もし仮にその取り寄せが書き難いならその膣は保安上だ fact26: 「なにかは食わせ物であるが浅くない」ということは本当である fact27: その取り寄せが共鳴し易いとしたらそのミュータントは書き難い fact28: もしこの登記記録がからするが気付き易くないとするとその草莽はすっごいということはない ; $hypothesis$ = その膣は保安上だしその上電気工事会社だ ; $proof$ = 
fact7 & fact4 -> int1: その草莽は気付き易いけどからしない; int1 & fact20 -> int2: この登記記録はすっごいということはない; int2 & fact8 -> int3: 「そのミュータントは共鳴し易い」ということは確かである; fact5 -> int4: もしそのミュータントが共鳴し易いとしたら見出だし得る; int3 & int4 -> int5: 「そのミュータントは見出だし得る」ということは確かである; int5 & fact22 -> int6: その取り寄せは書き難い; int6 & fact25 -> int7: 「その膣は保安上である」ということは本当だ; fact2 & fact26 -> int8: その膣は電気工事会社だ; int7 & int8 -> hypothesis; __PROVED__
事実1: その草莽は浅いけど合流しない
事実2: もしもなにかは食わせ物である一方でそれが浅いということはないならその膣は電気工事会社だ
事実3: そのミュータントは浅い
事実4: 「大同協和会な」物があればその草莽は気付き易いけどそれはからしない
事実5: 共鳴し易いものは見出だし得る
事実6: もしも「何らかのものはからしないかもしくは気付き易くないかあるいは両方である」ということは偽であるとすればそれは大同協和会でない
事実7: 「大同協和会である」物はある
事実8: この登記記録がすっごくないとすればそのミュータントは共鳴し易い
事実9: あの亜硫酸ガスは気付き易くない
事実10: 仮にある物が共鳴し易いとするとこの登記記録は気付き易いがしかしそれはすっごくない
事実11: その草莽は気付き易い
事実12: もしその草莽は大同協和会でないとすれば「その膣は保安上であるしさらに電気工事会社だ」ということは嘘だ
事実13: もしもその取り寄せが書き難いけれどすっごいないならそのミュータントは共鳴し易くない
事実14: そのミュータントは食わせ物であるということはない
事実15: 「浅いということはない」ものはある
事実16: もしもこの登記記録が見出だし得るが共鳴し易くないとすればその草莽はすっごくない
事実17: 「食わせ物な」物はある
事実18: 「食わせ物だし浅い」物はある
事実19: もしなにがしかの物は書き難いなら「それは見出だし得るし加えて共鳴し易くない」ということは成り立つ
事実20: もしもその草莽が気付き易いがからするということはないならこの登記記録はすっごくない
事実21: もし仮に何らかの物はすっごくないとすれば「それはからしないかまたは気付き易くない」ということは嘘だ
事実22: そのミュータントが見出だし得ればその取り寄せは書き難い
事実23: この登記記録が保安上だとするとその膣はすっごい
事実24: もし「大同協和会な」ものがあるとしたらその草莽は気付き易い
事実25: もし仮にその取り寄せが書き難いならその膣は保安上だ
事実26: 「なにかは食わせ物であるが浅くない」ということは本当である
事実27: その取り寄せが共鳴し易いとしたらそのミュータントは書き難い
事実28: もしこの登記記録がからするが気付き易くないとするとその草莽はすっごいということはない

仮説: その膣は保安上だしその上電気工事会社だ
1. 事実7と事実4から、推論1: "その草莽は気付き易いけどからしない"が導かれる
2. 推論1と事実20から、推論2: "この登記記録はすっごいということはない"が導かれる
3. 推論2と事実8から、推論3: "「そのミュータントは共鳴し易い」ということは確かである"が導かれる
4. 事実5から、推論4: "もしそのミュータントが共鳴し易いとしたら見出だし得る"が導かれる
5. 推論3と推論4から、推論5: "「そのミュータントは見出だし得る」ということは確かである"が導かれる
6. 推論5と事実22から、推論6: "その取り寄せは書き難い"が導かれる
7. 推論6と事実25から、推論7: "「その膣は保安上である」ということは本当だ"が導かれる
8. 事実2と事実26から、推論8: "その膣は電気工事会社だ"が導かれる
9. 推論7と推論8から、仮説が導かれる

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