この統計学的数値は御預かりしない
fact1: もし仮にとある物はぎこちないとすれば「それは辛抱でないがＵＲＬアドレスである」ということは成り立たない fact2: なにがしかの物は信じ易くないならば「それは申し渡さないしそれは馴染み難い」ということは偽だ fact3: この統計学的数値は暑過ぎないけどぎこちない fact4: あのウインドーズＸＰは御預かりするということはない fact5: この統計学的数値は激化する fact6: この統計学的数値は御預かりするとしたら「暑過ぎない一方でぎこちない」ということは誤っている fact7: あの事前調査はぎこちなくないけれどそれは激化する fact8: すべては信じ易いということはない
void -> assump1: 以下のように仮定する。この統計学的数値は御預かりする; fact6 & assump1 -> int1: 「この統計学的数値は暑過ぎないがぎこちない」ということは間違っている; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
この統計学的数値はぎこちないとすると「それは辛抱でなくてその上それはＵＲＬアドレスである」ということは成り立たない
fact9 -> hypothesis;
$facts$ = fact1: もし仮にとある物はぎこちないとすれば「それは辛抱でないがＵＲＬアドレスである」ということは成り立たない fact2: なにがしかの物は信じ易くないならば「それは申し渡さないしそれは馴染み難い」ということは偽だ fact3: この統計学的数値は暑過ぎないけどぎこちない fact4: あのウインドーズＸＰは御預かりするということはない fact5: この統計学的数値は激化する fact6: この統計学的数値は御預かりするとしたら「暑過ぎない一方でぎこちない」ということは誤っている fact7: あの事前調査はぎこちなくないけれどそれは激化する fact8: すべては信じ易いということはない ; $hypothesis$ = この統計学的数値は御預かりしない ; $proof$ = 
void -> assump1: 以下のように仮定する。この統計学的数値は御預かりする; fact6 & assump1 -> int1: 「この統計学的数値は暑過ぎないがぎこちない」ということは間違っている; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にとある物はぎこちないとすれば「それは辛抱でないがＵＲＬアドレスである」ということは成り立たない
事実2: なにがしかの物は信じ易くないならば「それは申し渡さないしそれは馴染み難い」ということは偽だ
事実3: この統計学的数値は暑過ぎないけどぎこちない
事実4: あのウインドーズＸＰは御預かりするということはない
事実5: この統計学的数値は激化する
事実6: この統計学的数値は御預かりするとしたら「暑過ぎない一方でぎこちない」ということは誤っている
事実7: あの事前調査はぎこちなくないけれどそれは激化する
事実8: すべては信じ易いということはない

仮説: この統計学的数値は御預かりしない
1. 仮定1: 以下のように仮定する。この統計学的数値は御預かりする
2. 事実6と仮定1から、推論1: "「この統計学的数値は暑過ぎないがぎこちない」ということは間違っている"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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