あのＤＬＪディレクトＳＦＧ証券マーケットスピードは塩辛くない
fact1: この駆動流はＥＢでない fact2: この駆動流はＥＢでないなら「粉っぽいしそれは通り難い」ということは偽だ fact3: もしも「「粉っぽいしその上通り難い」ということは誤っている」物があるとしたらあのＤＬＪディレクトＳＦＧ証券マーケットスピードは塩辛いということはない fact4: もしも「「通り難くて塩辛い」ということは成り立たない」ものがあればあのＤＬＪディレクトＳＦＧ証券マーケットスピードはＥＢでない fact5: なにがしかの物が粉っぽいということはないとするとあのＤＬＪディレクトＳＦＧ証券マーケットスピードは塩辛くない
fact2 & fact1 -> int1: 「この駆動流は粉っぽくて通り難い」ということは成り立たない; int1 -> int2: 「「「粉っぽくて通り難い」ということは本当だ」ということは成り立たない」物はある; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: ¬({AA}{a} & {AB}{a}); int1 -> int2: (Ex): ¬({AA}x & {AB}x); int2 & fact3 -> hypothesis;
$facts$ = fact1: この駆動流はＥＢでない fact2: この駆動流はＥＢでないなら「粉っぽいしそれは通り難い」ということは偽だ fact3: もしも「「粉っぽいしその上通り難い」ということは誤っている」物があるとしたらあのＤＬＪディレクトＳＦＧ証券マーケットスピードは塩辛いということはない fact4: もしも「「通り難くて塩辛い」ということは成り立たない」ものがあればあのＤＬＪディレクトＳＦＧ証券マーケットスピードはＥＢでない fact5: なにがしかの物が粉っぽいということはないとするとあのＤＬＪディレクトＳＦＧ証券マーケットスピードは塩辛くない ; $hypothesis$ = あのＤＬＪディレクトＳＦＧ証券マーケットスピードは塩辛くない ; $proof$ = 
fact2 & fact1 -> int1: 「この駆動流は粉っぽくて通り難い」ということは成り立たない; int1 -> int2: 「「「粉っぽくて通り難い」ということは本当だ」ということは成り立たない」物はある; int2 & fact3 -> hypothesis; __PROVED__
事実1: この駆動流はＥＢでない
事実2: この駆動流はＥＢでないなら「粉っぽいしそれは通り難い」ということは偽だ
事実3: もしも「「粉っぽいしその上通り難い」ということは誤っている」物があるとしたらあのＤＬＪディレクトＳＦＧ証券マーケットスピードは塩辛いということはない
事実4: もしも「「通り難くて塩辛い」ということは成り立たない」ものがあればあのＤＬＪディレクトＳＦＧ証券マーケットスピードはＥＢでない
事実5: なにがしかの物が粉っぽいということはないとするとあのＤＬＪディレクトＳＦＧ証券マーケットスピードは塩辛くない

仮説: あのＤＬＪディレクトＳＦＧ証券マーケットスピードは塩辛くない
1. 事実2と事実1から、推論1: "「この駆動流は粉っぽくて通り難い」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「「粉っぽくて通り難い」ということは本当だ」ということは成り立たない」物はある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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