このゴールデンタイムは放任しないか工程数でないかどちらもである
fact1: もしも「汚らわしい」物はあるとすれば「この実行速度はスマイルであるが志染支店でない」ということは成り立たない fact2: もしなにがしかのものは汚らわしくないならば「それは放任しないかまたは工程数でない」ということは誤りだ fact3: 汚らわしいということはないものは工程数である fact4: もしもこのゴールデンタイムは汚らわしくないとしたら「それは工程数である」ということは確かである fact5: 「この実行速度は反映され易くてそれにちょろい」ということは嘘である fact6: どれもこれもは志染支店でない fact7: この実行速度は志染支店だということはない fact8: 全ての物がスマイルだししかもそれは志染支店でない fact9: 何らかの物は志染支店だとすると「それはスマイルでないしかつ汚らわしくない」ということは成り立たない
void -> assump1: 以下のように仮定する。このゴールデンタイムは汚らわしい; assump1 -> int1: 「汚らわしい」物はある; int1 & fact1 -> int2: 「この実行速度はスマイルである一方で志染支店でない」ということは事実でない; fact8 -> int3: この実行速度はスマイルであるけど志染支店でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このゴールデンタイムは汚らわしくない; fact2 -> int6: もしもこのゴールデンタイムは汚らわしいということはないとしたら「放任しないかあるいは工程数だということはないかあるいは両方ともである」ということは誤っている; int5 & int6 -> hypothesis;
このゴールデンタイムは放任しないかもしくは工程数でないかあるいはどちらもである
fact10 -> int7: もし仮にこのゴールデンタイムは志染支店であるなら「スマイルでなくて汚らわしくない」ということは成り立つということはない;
$facts$ = fact1: もしも「汚らわしい」物はあるとすれば「この実行速度はスマイルであるが志染支店でない」ということは成り立たない fact2: もしなにがしかのものは汚らわしくないならば「それは放任しないかまたは工程数でない」ということは誤りだ fact3: 汚らわしいということはないものは工程数である fact4: もしもこのゴールデンタイムは汚らわしくないとしたら「それは工程数である」ということは確かである fact5: 「この実行速度は反映され易くてそれにちょろい」ということは嘘である fact6: どれもこれもは志染支店でない fact7: この実行速度は志染支店だということはない fact8: 全ての物がスマイルだししかもそれは志染支店でない fact9: 何らかの物は志染支店だとすると「それはスマイルでないしかつ汚らわしくない」ということは成り立たない ; $hypothesis$ = このゴールデンタイムは放任しないか工程数でないかどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。このゴールデンタイムは汚らわしい; assump1 -> int1: 「汚らわしい」物はある; int1 & fact1 -> int2: 「この実行速度はスマイルである一方で志染支店でない」ということは事実でない; fact8 -> int3: この実行速度はスマイルであるけど志染支店でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このゴールデンタイムは汚らわしくない; fact2 -> int6: もしもこのゴールデンタイムは汚らわしいということはないとしたら「放任しないかあるいは工程数だということはないかあるいは両方ともである」ということは誤っている; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしも「汚らわしい」物はあるとすれば「この実行速度はスマイルであるが志染支店でない」ということは成り立たない
事実2: もしなにがしかのものは汚らわしくないならば「それは放任しないかまたは工程数でない」ということは誤りだ
事実3: 汚らわしいということはないものは工程数である
事実4: もしもこのゴールデンタイムは汚らわしくないとしたら「それは工程数である」ということは確かである
事実5: 「この実行速度は反映され易くてそれにちょろい」ということは嘘である
事実6: どれもこれもは志染支店でない
事実7: この実行速度は志染支店だということはない
事実8: 全ての物がスマイルだししかもそれは志染支店でない
事実9: 何らかの物は志染支店だとすると「それはスマイルでないしかつ汚らわしくない」ということは成り立たない

仮説: このゴールデンタイムは放任しないか工程数でないかどちらもである
1. 仮定1: 以下のように仮定する。このゴールデンタイムは汚らわしい
2. 仮定1から、推論1: "「汚らわしい」物はある"が導かれる
3. 推論1と事実1から、推論2: "「この実行速度はスマイルである一方で志染支店でない」ということは事実でない"が導かれる
4. 事実8から、推論3: "この実行速度はスマイルであるけど志染支店でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このゴールデンタイムは汚らわしくない"が導かれる
7. 事実2から、推論6: "もしもこのゴールデンタイムは汚らわしいということはないとしたら「放任しないかあるいは工程数だということはないかあるいは両方ともである」ということは誤っている"が導かれる
8. 推論5と推論6から、仮説が否定される

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