見極め難いということは起きない
fact1: ぷちょぷにゃLv.67事件が起こるし動揺し始めることが起こる fact2: ものもわLv.40事件が発生するしぷねぷくLv.68事件が起きる fact3: 選別出来ることが生じる fact4: 粉っぽいということおよび溜まり易いということが起こる fact5: 「ものもわLv.40事件および見極め難いということが起きる」ということはぷねぷくLv.68事件は起こらないということにもたらされる fact6: 「仮にものもわLv.40事件と選別出来ることが発生すれば見極め難いということは起きない」ということは事実である
fact2 -> int1: ものもわLv.40事件が生じる; int1 & fact3 -> int2: ものもわLv.40事件が生じるし更に選別出来ることが起きる; int2 & fact6 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact6 -> hypothesis;
見極め難いということが起きる
$facts$ = fact1: ぷちょぷにゃLv.67事件が起こるし動揺し始めることが起こる fact2: ものもわLv.40事件が発生するしぷねぷくLv.68事件が起きる fact3: 選別出来ることが生じる fact4: 粉っぽいということおよび溜まり易いということが起こる fact5: 「ものもわLv.40事件および見極め難いということが起きる」ということはぷねぷくLv.68事件は起こらないということにもたらされる fact6: 「仮にものもわLv.40事件と選別出来ることが発生すれば見極め難いということは起きない」ということは事実である ; $hypothesis$ = 見極め難いということは起きない ; $proof$ = 
fact2 -> int1: ものもわLv.40事件が生じる; int1 & fact3 -> int2: ものもわLv.40事件が生じるし更に選別出来ることが起きる; int2 & fact6 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact6 -> hypothesis; __PROVED__