このジャンプは交流出来ない
fact1: ある物はオプシンでないなら交流出来ない fact2: この哀感はオプシンだとすれば「その白朮は交流出来る」ということは成り立つ fact3: もし仮にその白朮は交流出来るとすると「このジャンプは民俗的事象でない」ということは本当だ fact4: この哀感は増やせないけれど引っ張り回す fact5: この哀感は悪しい fact6: もしその白朮が交流出来ればこのジャンプは民俗的事象でない一方で交流出来る fact7: この哀感はオプシンだ
fact2 & fact7 -> int1: その白朮は交流出来る; int1 & fact6 -> int2: このジャンプは民俗的事象でないけど交流出来る; int2 -> hypothesis;
このジャンプは交流出来ない
fact8 -> int3: もしこのジャンプはオプシンでないとすると交流出来ない;
$facts$ = fact1: ある物はオプシンでないなら交流出来ない fact2: この哀感はオプシンだとすれば「その白朮は交流出来る」ということは成り立つ fact3: もし仮にその白朮は交流出来るとすると「このジャンプは民俗的事象でない」ということは本当だ fact4: この哀感は増やせないけれど引っ張り回す fact5: この哀感は悪しい fact6: もしその白朮が交流出来ればこのジャンプは民俗的事象でない一方で交流出来る fact7: この哀感はオプシンだ ; $hypothesis$ = このジャンプは交流出来ない ; $proof$ = 
fact2 & fact7 -> int1: その白朮は交流出来る; int1 & fact6 -> int2: このジャンプは民俗的事象でないけど交流出来る; int2 -> hypothesis; __DISPROVED__
事実1: ある物はオプシンでないなら交流出来ない
事実2: この哀感はオプシンだとすれば「その白朮は交流出来る」ということは成り立つ
事実3: もし仮にその白朮は交流出来るとすると「このジャンプは民俗的事象でない」ということは本当だ
事実4: この哀感は増やせないけれど引っ張り回す
事実5: この哀感は悪しい
事実6: もしその白朮が交流出来ればこのジャンプは民俗的事象でない一方で交流出来る
事実7: この哀感はオプシンだ

仮説: このジャンプは交流出来ない
1. 事実2と事実7から、推論1: "その白朮は交流出来る"が導かれる
2. 推論1と事実6から、推論2: "このジャンプは民俗的事象でないけど交流出来る"が導かれる
3. 推論2から、仮説が否定される

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