この出来高ゾーン投資術は掛け替えるしおまけにそれは物凄い
fact1: 覚束無くて加えて抗い難くないものは掛け替える fact2: 「この疫学者は信じ易い」ということは正しい fact3: この出来高ゾーン投資術は芳しい fact4: もしこの疫学者は信じ易いとすれば「それは総資本だ」ということは事実だ fact5: 仮に「この出来高ゾーン投資術は芳しい」ということは事実だとしたら覚束無くてかつ抗い難くない fact6: もし仮に「この疫学者は総資本だ」ということは間違いでないとするとこの出来高ゾーン投資術は物凄い
fact4 & fact2 -> int1: この疫学者は総資本だ; int1 & fact6 -> int2: この出来高ゾーン投資術は物凄い; fact1 -> int3: もし仮にこの出来高ゾーン投資術は覚束無いけど抗い難くないとしたら「それは掛け替える」ということは成り立つ; fact5 & fact3 -> int4: この出来高ゾーン投資術は覚束無いけれど抗い難くない; int3 & int4 -> int5: この出来高ゾーン投資術は掛け替える; int2 & int5 -> hypothesis;
fact4 & fact2 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; fact1 -> int3: ({E}{b} & ¬{F}{b}) -> {D}{b}; fact5 & fact3 -> int4: ({E}{b} & ¬{F}{b}); int3 & int4 -> int5: {D}{b}; int2 & int5 -> hypothesis;
$facts$ = fact1: 覚束無くて加えて抗い難くないものは掛け替える fact2: 「この疫学者は信じ易い」ということは正しい fact3: この出来高ゾーン投資術は芳しい fact4: もしこの疫学者は信じ易いとすれば「それは総資本だ」ということは事実だ fact5: 仮に「この出来高ゾーン投資術は芳しい」ということは事実だとしたら覚束無くてかつ抗い難くない fact6: もし仮に「この疫学者は総資本だ」ということは間違いでないとするとこの出来高ゾーン投資術は物凄い ; $hypothesis$ = この出来高ゾーン投資術は掛け替えるしおまけにそれは物凄い ; $proof$ = 
fact4 & fact2 -> int1: この疫学者は総資本だ; int1 & fact6 -> int2: この出来高ゾーン投資術は物凄い; fact1 -> int3: もし仮にこの出来高ゾーン投資術は覚束無いけど抗い難くないとしたら「それは掛け替える」ということは成り立つ; fact5 & fact3 -> int4: この出来高ゾーン投資術は覚束無いけれど抗い難くない; int3 & int4 -> int5: この出来高ゾーン投資術は掛け替える; int2 & int5 -> hypothesis; __PROVED__
事実1: 覚束無くて加えて抗い難くないものは掛け替える
事実2: 「この疫学者は信じ易い」ということは正しい
事実3: この出来高ゾーン投資術は芳しい
事実4: もしこの疫学者は信じ易いとすれば「それは総資本だ」ということは事実だ
事実5: 仮に「この出来高ゾーン投資術は芳しい」ということは事実だとしたら覚束無くてかつ抗い難くない
事実6: もし仮に「この疫学者は総資本だ」ということは間違いでないとするとこの出来高ゾーン投資術は物凄い

仮説: この出来高ゾーン投資術は掛け替えるしおまけにそれは物凄い
1. 事実4と事実2から、推論1: "この疫学者は総資本だ"が導かれる
2. 推論1と事実6から、推論2: "この出来高ゾーン投資術は物凄い"が導かれる
3. 事実1から、推論3: "もし仮にこの出来高ゾーン投資術は覚束無いけど抗い難くないとしたら「それは掛け替える」ということは成り立つ"が導かれる
4. 事実5と事実3から、推論4: "この出来高ゾーン投資術は覚束無いけれど抗い難くない"が導かれる
5. 推論3と推論4から、推論5: "この出来高ゾーン投資術は掛け替える"が導かれる
6. 推論2と推論5から、仮説が導かれる

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