この河津駅行きは選び抜く
fact1: もしこの河津駅行きが選び抜くならこのＷＢＣは堪能出来る fact2: もしも「この分属は訳無い」ということは成り立つとすればそれは晦ます fact3: このＷＢＣが堪能出来るかもしくは理屈っぽいか両方ともであるとすれば「この分属は晦まさない」ということは成り立つ fact4: 「この河津駅行きが堪能出来ないかあるいはそれが晦ますかもしくは両方ともだとすればこの貧困者は晦まさない」ということは嘘でない fact5: この分属は訳無い fact6: もし何かは訳無いがしかし揺れないならこのＷＢＣは理屈っぽい
void -> assump1: 以下のように仮定する。この河津駅行きは選び抜く; fact1 & assump1 -> int1: このＷＢＣは堪能出来る; int1 -> int2: このＷＢＣは堪能出来るかあるいはそれは理屈っぽい; int2 & fact3 -> int3: この分属は晦まさない; fact2 & fact5 -> int4: この分属は晦ます; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この貧困者は晦まさない
$facts$ = fact1: もしこの河津駅行きが選び抜くならこのＷＢＣは堪能出来る fact2: もしも「この分属は訳無い」ということは成り立つとすればそれは晦ます fact3: このＷＢＣが堪能出来るかもしくは理屈っぽいか両方ともであるとすれば「この分属は晦まさない」ということは成り立つ fact4: 「この河津駅行きが堪能出来ないかあるいはそれが晦ますかもしくは両方ともだとすればこの貧困者は晦まさない」ということは嘘でない fact5: この分属は訳無い fact6: もし何かは訳無いがしかし揺れないならこのＷＢＣは理屈っぽい ; $hypothesis$ = この河津駅行きは選び抜く ; $proof$ = 
void -> assump1: 以下のように仮定する。この河津駅行きは選び抜く; fact1 & assump1 -> int1: このＷＢＣは堪能出来る; int1 -> int2: このＷＢＣは堪能出来るかあるいはそれは理屈っぽい; int2 & fact3 -> int3: この分属は晦まさない; fact2 & fact5 -> int4: この分属は晦ます; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしこの河津駅行きが選び抜くならこのＷＢＣは堪能出来る
事実2: もしも「この分属は訳無い」ということは成り立つとすればそれは晦ます
事実3: このＷＢＣが堪能出来るかもしくは理屈っぽいか両方ともであるとすれば「この分属は晦まさない」ということは成り立つ
事実4: 「この河津駅行きが堪能出来ないかあるいはそれが晦ますかもしくは両方ともだとすればこの貧困者は晦まさない」ということは嘘でない
事実5: この分属は訳無い
事実6: もし何かは訳無いがしかし揺れないならこのＷＢＣは理屈っぽい

仮説: この河津駅行きは選び抜く
1. 仮定1: 以下のように仮定する。この河津駅行きは選び抜く
2. 事実1と仮定1から、推論1: "このＷＢＣは堪能出来る"が導かれる
3. 推論1から、推論2: "このＷＢＣは堪能出来るかあるいはそれは理屈っぽい"が導かれる
4. 推論2と事実3から、推論3: "この分属は晦まさない"が導かれる
5. 事実2と事実5から、推論4: "この分属は晦ます"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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