ぷちょぷにょLv.13事件が生じる
fact1: ぷにゃぷなLv.93事件が起きるしぴなぴわLv.52事件が生じる fact2: ぷちょぷにょLv.13事件は起きないということは賢しいということおよびぷにゃぷなLv.93事件が起きるがきっかけだ fact3: もし仮に「ぴなぴわLv.52事件と傾き易いということが起きる」ということは間違いであるならば傾き易いということは起こらない fact4: ぷにゃぷなLv.93事件は起きないとすれば「ぴなぴわLv.52事件および傾き易いということが発生する」ということは本当でない fact5: 「賢しいということが起こる」ということは確かだ
fact1 -> int1: ぷにゃぷなLv.93事件が生じる; int1 & fact5 -> int2: 賢しいということおよびぷにゃぷなLv.93事件が起こる; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> int2: ({C} & {A}); int2 & fact2 -> hypothesis;
傾き易いということは発生しない
$facts$ = fact1: ぷにゃぷなLv.93事件が起きるしぴなぴわLv.52事件が生じる fact2: ぷちょぷにょLv.13事件は起きないということは賢しいということおよびぷにゃぷなLv.93事件が起きるがきっかけだ fact3: もし仮に「ぴなぴわLv.52事件と傾き易いということが起きる」ということは間違いであるならば傾き易いということは起こらない fact4: ぷにゃぷなLv.93事件は起きないとすれば「ぴなぴわLv.52事件および傾き易いということが発生する」ということは本当でない fact5: 「賢しいということが起こる」ということは確かだ ; $hypothesis$ = ぷちょぷにょLv.13事件が生じる ; $proof$ = 
fact1 -> int1: ぷにゃぷなLv.93事件が生じる; int1 & fact5 -> int2: 賢しいということおよびぷにゃぷなLv.93事件が起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact5 -> int2: ({C} & {A}); int2 & fact2 -> hypothesis; __DISPROVED__