「この事実認定は通り易いしさらにそれは逃げ込む」ということは偽である
fact1: 実施頻度は放てるないしおまけに招き易くない fact2: 「この事実認定は前座でないしさらにそれはポジ型ＥＢレジストでない」ということは嘘だ fact3: この事実認定は逃げ込む fact4: もしあるものは実施頻度であるということはないとするとそれは前座だということはなくてそれにポジ型ＥＢレジストでない fact5: もしもこの事実認定は実施頻度であるならそれは通り易い
fact4 -> int1: もし仮にこの事実認定は実施頻度でないとするとそれは前座でないしポジ型ＥＢレジストでない; void -> assump1: 以下のように仮定する。この事実認定は実施頻度でない; int1 & assump1 -> int2: この事実認定は前座でないしまたポジ型ＥＢレジストでない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この事実認定は実施頻度である; int4 & fact5 -> int5: 「この事実認定は通り易い」ということは事実だ; int5 & fact3 -> hypothesis;
その帆立は放てるないし招き易くない
fact6 -> int6: その帆立が実施頻度であるとしたら放てるということはないしかつそれは招き易くない;
$facts$ = fact1: 実施頻度は放てるないしおまけに招き易くない fact2: 「この事実認定は前座でないしさらにそれはポジ型ＥＢレジストでない」ということは嘘だ fact3: この事実認定は逃げ込む fact4: もしあるものは実施頻度であるということはないとするとそれは前座だということはなくてそれにポジ型ＥＢレジストでない fact5: もしもこの事実認定は実施頻度であるならそれは通り易い ; $hypothesis$ = 「この事実認定は通り易いしさらにそれは逃げ込む」ということは偽である ; $proof$ = 
fact4 -> int1: もし仮にこの事実認定は実施頻度でないとするとそれは前座でないしポジ型ＥＢレジストでない; void -> assump1: 以下のように仮定する。この事実認定は実施頻度でない; int1 & assump1 -> int2: この事実認定は前座でないしまたポジ型ＥＢレジストでない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この事実認定は実施頻度である; int4 & fact5 -> int5: 「この事実認定は通り易い」ということは事実だ; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: 実施頻度は放てるないしおまけに招き易くない
事実2: 「この事実認定は前座でないしさらにそれはポジ型ＥＢレジストでない」ということは嘘だ
事実3: この事実認定は逃げ込む
事実4: もしあるものは実施頻度であるということはないとするとそれは前座だということはなくてそれにポジ型ＥＢレジストでない
事実5: もしもこの事実認定は実施頻度であるならそれは通り易い

仮説: 「この事実認定は通り易いしさらにそれは逃げ込む」ということは偽である
1. 事実4から、推論1: "もし仮にこの事実認定は実施頻度でないとするとそれは前座でないしポジ型ＥＢレジストでない"が導かれる
2. 仮定1: 以下のように仮定する。この事実認定は実施頻度でない
3. 推論1と仮定1から、推論2: "この事実認定は前座でないしまたポジ型ＥＢレジストでない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この事実認定は実施頻度である"が導かれる
6. 推論4と事実5から、推論5: "「この事実認定は通り易い」ということは事実だ"が導かれる
7. 推論5と事実3から、仮説が否定される

よって、仮説が否定されました。