掴み難いということが起きる
fact1: 「ぷなぷにゃLv.42事件が起こる」ということは成り立つ fact2: もしぷなぷにゃLv.42事件が起こるし加えて熱し易いということが発生するとすれば掴み難いということは起こらない fact3: 忘れ難いということは発生しない fact4: まにょまにょLv.95事件および熱し易いということが起こる fact5: 遜ることは起きないということは「乳臭いということが起きるし活動し難いということが起きる」ということに誘発される
fact4 -> int1: 熱し易いということが発生する; int1 & fact1 -> int2: ぷなぷにゃLv.42事件が起こるし熱し易いということが発生する; int2 & fact2 -> hypothesis;
fact4 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 「ぷなぷにゃLv.42事件が起こる」ということは成り立つ fact2: もしぷなぷにゃLv.42事件が起こるし加えて熱し易いということが発生するとすれば掴み難いということは起こらない fact3: 忘れ難いということは発生しない fact4: まにょまにょLv.95事件および熱し易いということが起こる fact5: 遜ることは起きないということは「乳臭いということが起きるし活動し難いということが起きる」ということに誘発される ; $hypothesis$ = 掴み難いということが起きる ; $proof$ = 
fact4 -> int1: 熱し易いということが発生する; int1 & fact1 -> int2: ぷなぷにゃLv.42事件が起こるし熱し易いということが発生する; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact2 -> hypothesis; __DISPROVED__