その状態図は償却出来る
fact1: もし仮に「「そのデザイン法は縫合針でなくて更新データでない」ということは誤りである」ということは正しいとするとその本体合併は縫合針でない fact2: あの生涯は上げ易い fact3: 仮にその変数Ｘが邪魔臭いなら長い fact4: その状態図が上げ易いとしたら償却出来る fact5: もし「その本体合併は縫合針でない」ということは真実であるとすれば「そのオクチルフェノールはそそる一方でそれは泊めない」ということは成り立たない fact6: 仮に「なんらかのものはそそるがしかしそれは泊めない」ということは間違いであるとすればそれは地中深くない fact7: すべてのものは邪魔臭い fact8: もしもその変数Ｘが分権化しなくてそれに上げ易くないならその状態図は償却出来ない fact9: あの歌舞は上げ易い fact10: その省エネは償却出来る fact11: もしも何らかのものは長いならば「それは分権化しない」ということは確かである fact12: その変数Ｘは女々しい fact13: その変数Ｘが発生し難いとしたらそれは上げ易い fact14: 「その変数Ｘは上げ易い」ということは本当だ fact15: もしも「その変数Ｘは上げ易い」ということは成り立つとすればその状態図は分権化する fact16: 仮になんらかの物は分権化するなら「それは償却出来る」ということは真実である fact17: 「そのデザイン法は縫合針でないし加えて更新データでない」ということは嘘だ fact18: その変数Ｘが償却出来るならばあの状態図は分権化する
fact15 & fact14 -> int1: その状態図は分権化する; fact16 -> int2: その状態図が分権化するとすればそれは償却出来る; int1 & int2 -> hypothesis;
fact15 & fact14 -> int1: {B}{b}; fact16 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
その状態図は償却出来ない
fact22 -> int3: もしその変数Ｘが長いとしたらそれは分権化しない; fact24 -> int4: その変数Ｘは邪魔臭い; fact21 & int4 -> int5: その変数Ｘは長い; int3 & int5 -> int6: その変数Ｘは分権化しない; fact19 -> int7: 「そのオクチルフェノールはそそる一方で泊めない」ということは事実と異なるとすれば「それは地中深くない」ということは本当である; fact23 & fact25 -> int8: 「その本体合併は縫合針でない」ということは確かだ; fact26 & int8 -> int9: 「そのオクチルフェノールはそそるけれどそれは泊めない」ということは事実と異なる; int7 & int9 -> int10: そのオクチルフェノールは地中深くない;
$facts$ = fact1: もし仮に「「そのデザイン法は縫合針でなくて更新データでない」ということは誤りである」ということは正しいとするとその本体合併は縫合針でない fact2: あの生涯は上げ易い fact3: 仮にその変数Ｘが邪魔臭いなら長い fact4: その状態図が上げ易いとしたら償却出来る fact5: もし「その本体合併は縫合針でない」ということは真実であるとすれば「そのオクチルフェノールはそそる一方でそれは泊めない」ということは成り立たない fact6: 仮に「なんらかのものはそそるがしかしそれは泊めない」ということは間違いであるとすればそれは地中深くない fact7: すべてのものは邪魔臭い fact8: もしもその変数Ｘが分権化しなくてそれに上げ易くないならその状態図は償却出来ない fact9: あの歌舞は上げ易い fact10: その省エネは償却出来る fact11: もしも何らかのものは長いならば「それは分権化しない」ということは確かである fact12: その変数Ｘは女々しい fact13: その変数Ｘが発生し難いとしたらそれは上げ易い fact14: 「その変数Ｘは上げ易い」ということは本当だ fact15: もしも「その変数Ｘは上げ易い」ということは成り立つとすればその状態図は分権化する fact16: 仮になんらかの物は分権化するなら「それは償却出来る」ということは真実である fact17: 「そのデザイン法は縫合針でないし加えて更新データでない」ということは嘘だ fact18: その変数Ｘが償却出来るならばあの状態図は分権化する ; $hypothesis$ = その状態図は償却出来る ; $proof$ = 
fact15 & fact14 -> int1: その状態図は分権化する; fact16 -> int2: その状態図が分権化するとすればそれは償却出来る; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「「そのデザイン法は縫合針でなくて更新データでない」ということは誤りである」ということは正しいとするとその本体合併は縫合針でない
事実2: あの生涯は上げ易い
事実3: 仮にその変数Ｘが邪魔臭いなら長い
事実4: その状態図が上げ易いとしたら償却出来る
事実5: もし「その本体合併は縫合針でない」ということは真実であるとすれば「そのオクチルフェノールはそそる一方でそれは泊めない」ということは成り立たない
事実6: 仮に「なんらかのものはそそるがしかしそれは泊めない」ということは間違いであるとすればそれは地中深くない
事実7: すべてのものは邪魔臭い
事実8: もしもその変数Ｘが分権化しなくてそれに上げ易くないならその状態図は償却出来ない
事実9: あの歌舞は上げ易い
事実10: その省エネは償却出来る
事実11: もしも何らかのものは長いならば「それは分権化しない」ということは確かである
事実12: その変数Ｘは女々しい
事実13: その変数Ｘが発生し難いとしたらそれは上げ易い
事実14: 「その変数Ｘは上げ易い」ということは本当だ
事実15: もしも「その変数Ｘは上げ易い」ということは成り立つとすればその状態図は分権化する
事実16: 仮になんらかの物は分権化するなら「それは償却出来る」ということは真実である
事実17: 「そのデザイン法は縫合針でないし加えて更新データでない」ということは嘘だ
事実18: その変数Ｘが償却出来るならばあの状態図は分権化する

仮説: その状態図は償却出来る
1. 事実15と事実14から、推論1: "その状態図は分権化する"が導かれる
2. 事実16から、推論2: "その状態図が分権化するとすればそれは償却出来る"が導かれる
3. 推論1と推論2から、仮説が導かれる

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