「このクンダリニーは好まし」ということは成り立つ
fact1: もし仮にその地域サービスが出展するとしたらこのクンダリニーは出展する fact2: もし仮に「「出展する」ということは確かな」物があるならばあの地域サービスは消化し易いということはないけれど百崎だ fact3: 「出展する」ものはある fact4: もしなにかは出展するとしたらそれは好まし fact5: もしもその地域サービスが消化し易くないが百崎ならばこのクンダリニーは好ましない
fact3 & fact2 -> int1: その地域サービスは消化し易くないけど百崎である; int1 & fact5 -> hypothesis;
このクンダリニーは好まし
fact7 -> int2: もし仮にこのクンダリニーが出展するとするとそれは好まし;
$facts$ = fact1: もし仮にその地域サービスが出展するとしたらこのクンダリニーは出展する fact2: もし仮に「「出展する」ということは確かな」物があるならばあの地域サービスは消化し易いということはないけれど百崎だ fact3: 「出展する」ものはある fact4: もしなにかは出展するとしたらそれは好まし fact5: もしもその地域サービスが消化し易くないが百崎ならばこのクンダリニーは好ましない ; $hypothesis$ = 「このクンダリニーは好まし」ということは成り立つ ; $proof$ = 
fact3 & fact2 -> int1: その地域サービスは消化し易くないけど百崎である; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にその地域サービスが出展するとしたらこのクンダリニーは出展する
事実2: もし仮に「「出展する」ということは確かな」物があるならばあの地域サービスは消化し易いということはないけれど百崎だ
事実3: 「出展する」ものはある
事実4: もしなにかは出展するとしたらそれは好まし
事実5: もしもその地域サービスが消化し易くないが百崎ならばこのクンダリニーは好ましない

仮説: 「このクンダリニーは好まし」ということは成り立つ
1. 事実3と事実2から、推論1: "その地域サービスは消化し易くないけど百崎である"が導かれる
2. 推論1と事実5から、仮説が否定される

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