あの塞栓症は四白でないけど横行だ
fact1: ある物は来辛いなら「四白でないしそれにそれは横行だ」ということは事実と異なる fact2: もし仮にあの下肢静脈瘤が薄ら寒いならばあのデジカムは美し fact3: ある物が不成就なら見込み量であるということはない fact4: 仮にこの社会構成が泊まり込まないけれどそれが寡婦加算であるならこのデジカムは改善計画でない fact5: 狙い難い物は危うしない fact6: もしこの社会構成は来辛いということはないなら「あの下肢静脈瘤は来辛いし考え易い」ということは事実と異なる fact7: 歩き易くない物は狂おしいかもしくは薄ら寒いかまたは両方ともである fact8: もしもその耕作規模は調べ易くて更に初々しいならば「あの下肢静脈瘤は歩き易いということはない」ということは誤りでない fact9: その耕作規模は報酬月額でないかまたはそれは貯蔵する fact10: もし仮に「美し」ものがあるならこの社会構成は考え易くてかつ想起出来る fact11: 「このデジカムは改善計画である」ということは事実である fact12: 「なにかは考え易い」ということは正しいとすると「それは改善計画だ」ということは成り立つ fact13: もし仮にあの下肢静脈瘤が狂おしいとするとこのデジカムは美し fact14: 「その保育方法・形態は五十パーセント台でない」ということは本当である fact15: もしも「なにがしかのものは泊まり込まない一方で寡婦加算である」ということは間違いであるならば来辛くない fact16: あの下肢静脈瘤が四白でないならあの塞栓症は四白でない一方でそれは横行だ fact17: もし仮に「その保育方法・形態は興奮し易い」ということは成り立てばその耕作規模は初々しい fact18: 「あの塞栓症は横行であるしさらに考え易い」ということは成り立たないならばそれは来辛くない fact19: もしもその耕作規模が報酬月額でないかあるいは貯蔵するならそれは調べ易い fact20: 仮にその保育方法・形態が五十パーセント台でないとすれば興奮し易いけど働き易いということはない fact21: もし仮に「このデジカムは考え易いし加えてそれは寡婦加算である」ということは真実ならこの社会構成は改善計画でない fact22: もしもあるものが改善計画だということはないとすると泊まり込まない fact23: 仮に「ある物は来辛いしそれにそれは考え易い」ということは成り立たないとしたらそれは四白でない
void -> assump1: 以下のように仮定する。「この社会構成は泊まり込まないが寡婦加算である」ということは正しい; fact4 & assump1 -> int1: このデジカムは改善計画だということはない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この社会構成は泊まり込まないけれど寡婦加算だ」ということは成り立たない; fact15 -> int4: 「「この社会構成は泊まり込まないが寡婦加算である」ということは誤りであるということはない」ということは成り立たないとすると来辛くない; int3 & int4 -> int5: この社会構成は来辛くない; int5 & fact6 -> int6: 「あの下肢静脈瘤は来辛いししかも考え易い」ということは偽だ; fact23 -> int7: もしも「あの下肢静脈瘤は来辛くてまた考え易い」ということは誤りだとするとそれは四白でない; int6 & int7 -> int8: あの下肢静脈瘤は四白でない; int8 & fact16 -> hypothesis;
「あの塞栓症は四白だということはないけれどそれは横行である」ということは成り立たない
fact30 -> int9: もし仮にあの塞栓症は来辛いならば「それは四白でないけれど横行である」ということは成り立たない; fact34 -> int10: もしこの社会構成が考え易いとすれば改善計画である; fact31 -> int11: 仮にあの下肢静脈瘤が歩き易くないなら狂おしいかもしくはそれは薄ら寒いかどちらもだ; fact26 & fact33 -> int12: その耕作規模は調べ易い; fact32 & fact35 -> int13: その保育方法・形態は興奮し易いがそれは働き易くない; int13 -> int14: その保育方法・形態は興奮し易い; fact24 & int14 -> int15: その耕作規模は初々しい; int12 & int15 -> int16: その耕作規模は調べ易くて初々しい; fact29 & int16 -> int17: あの下肢静脈瘤は歩き易くない; int11 & int17 -> int18: あの下肢静脈瘤は狂おしいかまたは薄ら寒いかどちらもである; int18 & fact25 & fact27 -> int19: このデジカムは美し; int19 -> int20: 「美し」物はある; int20 & fact28 -> int21: この社会構成は考え易いしさらに想起出来る; int21 -> int22: この社会構成は考え易い; int10 & int22 -> int23: この社会構成は改善計画だ; int23 -> int24: 「改善計画である」物はある;
$facts$ = fact1: ある物は来辛いなら「四白でないしそれにそれは横行だ」ということは事実と異なる fact2: もし仮にあの下肢静脈瘤が薄ら寒いならばあのデジカムは美し fact3: ある物が不成就なら見込み量であるということはない fact4: 仮にこの社会構成が泊まり込まないけれどそれが寡婦加算であるならこのデジカムは改善計画でない fact5: 狙い難い物は危うしない fact6: もしこの社会構成は来辛いということはないなら「あの下肢静脈瘤は来辛いし考え易い」ということは事実と異なる fact7: 歩き易くない物は狂おしいかもしくは薄ら寒いかまたは両方ともである fact8: もしもその耕作規模は調べ易くて更に初々しいならば「あの下肢静脈瘤は歩き易いということはない」ということは誤りでない fact9: その耕作規模は報酬月額でないかまたはそれは貯蔵する fact10: もし仮に「美し」ものがあるならこの社会構成は考え易くてかつ想起出来る fact11: 「このデジカムは改善計画である」ということは事実である fact12: 「なにかは考え易い」ということは正しいとすると「それは改善計画だ」ということは成り立つ fact13: もし仮にあの下肢静脈瘤が狂おしいとするとこのデジカムは美し fact14: 「その保育方法・形態は五十パーセント台でない」ということは本当である fact15: もしも「なにがしかのものは泊まり込まない一方で寡婦加算である」ということは間違いであるならば来辛くない fact16: あの下肢静脈瘤が四白でないならあの塞栓症は四白でない一方でそれは横行だ fact17: もし仮に「その保育方法・形態は興奮し易い」ということは成り立てばその耕作規模は初々しい fact18: 「あの塞栓症は横行であるしさらに考え易い」ということは成り立たないならばそれは来辛くない fact19: もしもその耕作規模が報酬月額でないかあるいは貯蔵するならそれは調べ易い fact20: 仮にその保育方法・形態が五十パーセント台でないとすれば興奮し易いけど働き易いということはない fact21: もし仮に「このデジカムは考え易いし加えてそれは寡婦加算である」ということは真実ならこの社会構成は改善計画でない fact22: もしもあるものが改善計画だということはないとすると泊まり込まない fact23: 仮に「ある物は来辛いしそれにそれは考え易い」ということは成り立たないとしたらそれは四白でない ; $hypothesis$ = あの塞栓症は四白でないけど横行だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この社会構成は泊まり込まないが寡婦加算である」ということは正しい; fact4 & assump1 -> int1: このデジカムは改善計画だということはない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この社会構成は泊まり込まないけれど寡婦加算だ」ということは成り立たない; fact15 -> int4: 「「この社会構成は泊まり込まないが寡婦加算である」ということは誤りであるということはない」ということは成り立たないとすると来辛くない; int3 & int4 -> int5: この社会構成は来辛くない; int5 & fact6 -> int6: 「あの下肢静脈瘤は来辛いししかも考え易い」ということは偽だ; fact23 -> int7: もしも「あの下肢静脈瘤は来辛くてまた考え易い」ということは誤りだとするとそれは四白でない; int6 & int7 -> int8: あの下肢静脈瘤は四白でない; int8 & fact16 -> 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: 仮に「ある物は来辛いしそれにそれは考え易い」ということは成り立たないとしたらそれは四白でない

仮説: あの塞栓症は四白でないけど横行だ
1. 仮定1: 以下のように仮定する。「この社会構成は泊まり込まないが寡婦加算である」ということは正しい
2. 事実4と仮定1から、推論1: "このデジカムは改善計画だということはない"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この社会構成は泊まり込まないけれど寡婦加算だ」ということは成り立たない"が導かれる
5. 事実15から、推論4: "「「この社会構成は泊まり込まないが寡婦加算である」ということは誤りであるということはない」ということは成り立たないとすると来辛くない"が導かれる
6. 推論3と推論4から、推論5: "この社会構成は来辛くない"が導かれる
7. 推論5と事実6から、推論6: "「あの下肢静脈瘤は来辛いししかも考え易い」ということは偽だ"が導かれる
8. 事実23から、推論7: "もしも「あの下肢静脈瘤は来辛くてまた考え易い」ということは誤りだとするとそれは四白でない"が導かれる
9. 推論6と推論7から、推論8: "あの下肢静脈瘤は四白でない"が導かれる
10. 推論8と事実16から、仮説が導かれる

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