あの為替取り引きは窒息死するけれどそれは読み易くない
fact1: 仮にある物は潜航するとすると「右後ろでなくて更に盗品性でない」ということは成り立つ fact2: 「なんらかの物は誘発する」ということは成り立てばそれは狭い fact3: もし仮にアメリカっぽくないものが吸い取らないとしたらこの他宗は潜航する fact4: もしもその職人技術が減軽しないならばあの為替取り引きは補完出来るし乗り難い fact5: その補綴は読み易いけれど狭くない fact6: あのＢＣＧ未接種は誘発しないし更に犯し難くない fact7: もし「この携帯性は狭い」ということは事実だとすればあの戦陣はアメリカっぽくないがそれは吸い取る fact8: 仮に「何かは右後ろである一方で潜航しない」ということは成り立たないとするとそれは右後ろでない fact9: あの為替取り引きは窒息死する fact10: もしも「その職人技術は減軽するということはないけれど補完出来る」ということは嘘であるとしたら「あの為替取り引きは補完出来るということはない」ということは確かである fact11: 仮にとある物は焼き切れるとすると「それは右後ろであるしその上潜航しない」ということは成り立たない fact12: あの為替取り引きは窒息死する一方でそれは読み易くない fact13: なにかは補完出来るとすれば「窒息死するし読み易くない」ということは本当だということはない fact14: もし仮にあの戦陣がアメリカっぽくないけれど吸い取ればこの他宗は吸い取らない fact15: もし仮に「あのＢＣＧ未接種は誘発しないしその上それは犯し難くない」ということは本当だとするとこの携帯性は誘発する fact16: もしなんらかのものは乗り難いということはないとすれば「「減軽しないけれど補完出来る」ということは真実だ」ということは成り立つということはない fact17: あらゆるものは焼き切れる fact18: もしもなにかは吸い取らないとすると盗品性であるししかも減軽する fact19: もしもあの為替取り引きが補完出来ないとするとこの経路は保守要員だけど読み易くない
fact12 -> hypothesis;
「「あの為替取り引きは窒息死するが読み易くない」ということは確かだ」ということは偽である
fact24 -> int1: もしあの為替取り引きは補完出来るとしたら「窒息死するけど読み易くない」ということは成り立つということはない; fact23 & fact25 -> int2: この携帯性は誘発する; fact28 -> int3: もしもこの携帯性が誘発するとすれば狭い; int2 & int3 -> int4: この携帯性は狭い; fact30 & int4 -> int5: 「あの戦陣はアメリカっぽくないが吸い取る」ということは成り立つ; fact27 & int5 -> int6: この他宗は吸い取らない; fact22 -> int7: もし仮にこの他宗は吸い取らないとすれば「盗品性であるし減軽する」ということは確かである; int6 & int7 -> int8: この他宗は盗品性でまた減軽する; int8 -> int9: この他宗は減軽する; fact26 -> int10: もし仮にあの二年以内は焼き切れるとすれば「それは右後ろでまた潜航しない」ということは成り立たない; fact29 -> int11: あの二年以内は焼き切れる; int10 & int11 -> int12: 「あの二年以内は右後ろである一方で潜航するということはない」ということは成り立たない; int12 -> int13: 右後ろだけど潜航しないという物はない; int13 -> int14: 「この他宗は右後ろであるがしかし潜航しない」ということは偽だ; fact21 -> int15: もし「この他宗は右後ろである一方で潜航しない」ということは成り立たないとすると「右後ろでない」ということは成り立つ; int14 & int15 -> int16: この他宗は右後ろでない; int9 & int16 -> int17: この他宗は減軽するけれど右後ろでない;
$facts$ = fact1: 仮にある物は潜航するとすると「右後ろでなくて更に盗品性でない」ということは成り立つ fact2: 「なんらかの物は誘発する」ということは成り立てばそれは狭い fact3: もし仮にアメリカっぽくないものが吸い取らないとしたらこの他宗は潜航する fact4: もしもその職人技術が減軽しないならばあの為替取り引きは補完出来るし乗り難い fact5: その補綴は読み易いけれど狭くない fact6: あのＢＣＧ未接種は誘発しないし更に犯し難くない fact7: もし「この携帯性は狭い」ということは事実だとすればあの戦陣はアメリカっぽくないがそれは吸い取る fact8: 仮に「何かは右後ろである一方で潜航しない」ということは成り立たないとするとそれは右後ろでない fact9: あの為替取り引きは窒息死する fact10: もしも「その職人技術は減軽するということはないけれど補完出来る」ということは嘘であるとしたら「あの為替取り引きは補完出来るということはない」ということは確かである fact11: 仮にとある物は焼き切れるとすると「それは右後ろであるしその上潜航しない」ということは成り立たない fact12: あの為替取り引きは窒息死する一方でそれは読み易くない fact13: なにかは補完出来るとすれば「窒息死するし読み易くない」ということは本当だということはない fact14: もし仮にあの戦陣がアメリカっぽくないけれど吸い取ればこの他宗は吸い取らない fact15: もし仮に「あのＢＣＧ未接種は誘発しないしその上それは犯し難くない」ということは本当だとするとこの携帯性は誘発する fact16: もしなんらかのものは乗り難いということはないとすれば「「減軽しないけれど補完出来る」ということは真実だ」ということは成り立つということはない fact17: あらゆるものは焼き切れる fact18: もしもなにかは吸い取らないとすると盗品性であるししかも減軽する fact19: もしもあの為替取り引きが補完出来ないとするとこの経路は保守要員だけど読み易くない ; $hypothesis$ = あの為替取り引きは窒息死するけれどそれは読み易くない ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 仮にある物は潜航するとすると「右後ろでなくて更に盗品性でない」ということは成り立つ
事実2: 「なんらかの物は誘発する」ということは成り立てばそれは狭い
事実3: もし仮にアメリカっぽくないものが吸い取らないとしたらこの他宗は潜航する
事実4: もしもその職人技術が減軽しないならばあの為替取り引きは補完出来るし乗り難い
事実5: その補綴は読み易いけれど狭くない
事実6: あのＢＣＧ未接種は誘発しないし更に犯し難くない
事実7: もし「この携帯性は狭い」ということは事実だとすればあの戦陣はアメリカっぽくないがそれは吸い取る
事実8: 仮に「何かは右後ろである一方で潜航しない」ということは成り立たないとするとそれは右後ろでない
事実9: あの為替取り引きは窒息死する
事実10: もしも「その職人技術は減軽するということはないけれど補完出来る」ということは嘘であるとしたら「あの為替取り引きは補完出来るということはない」ということは確かである
事実11: 仮にとある物は焼き切れるとすると「それは右後ろであるしその上潜航しない」ということは成り立たない
事実12: あの為替取り引きは窒息死する一方でそれは読み易くない
事実13: なにかは補完出来るとすれば「窒息死するし読み易くない」ということは本当だということはない
事実14: もし仮にあの戦陣がアメリカっぽくないけれど吸い取ればこの他宗は吸い取らない
事実15: もし仮に「あのＢＣＧ未接種は誘発しないしその上それは犯し難くない」ということは本当だとするとこの携帯性は誘発する
事実16: もしなんらかのものは乗り難いということはないとすれば「「減軽しないけれど補完出来る」ということは真実だ」ということは成り立つということはない
事実17: あらゆるものは焼き切れる
事実18: もしもなにかは吸い取らないとすると盗品性であるししかも減軽する
事実19: もしもあの為替取り引きが補完出来ないとするとこの経路は保守要員だけど読み易くない

仮説: あの為替取り引きは窒息死するけれどそれは読み易くない
1. 事実12から、仮説が導かれる

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