「狡いということが生じる」ということは成り立つ
fact1: 馬鹿馬鹿しいということが発生する fact2: もしもぷにぷにゅLv.43事件と戻し易いということが起きるとすればぷにょぷくLv.14事件は生じない fact3: まちゅまちゃLv.91事件と馬鹿馬鹿しいということ両方ともが発生する fact4: 戻し易いということが生じる fact5: 狡いということは生じないということは「ぷにょぷくLv.14事件は起きない」ということがきっかけだ fact6: ぷにぷにゅLv.43事件はまちゅまちゃLv.91事件により発生する
fact3 -> int1: まちゅまちゃLv.91事件が発生する; int1 & fact6 -> int2: ぷにぷにゅLv.43事件が起こる; int2 & fact4 -> int3: ぷにぷにゅLv.43事件と戻し易いということが発生する; int3 & fact2 -> int4: ぷにょぷくLv.14事件は起きない; int4 & fact5 -> hypothesis;
fact3 -> int1: {A}; int1 & fact6 -> int2: {C}; int2 & fact4 -> int3: ({C} & {D}); int3 & fact2 -> int4: ¬{E}; int4 & fact5 -> hypothesis;
$facts$ = fact1: 馬鹿馬鹿しいということが発生する fact2: もしもぷにぷにゅLv.43事件と戻し易いということが起きるとすればぷにょぷくLv.14事件は生じない fact3: まちゅまちゃLv.91事件と馬鹿馬鹿しいということ両方ともが発生する fact4: 戻し易いということが生じる fact5: 狡いということは生じないということは「ぷにょぷくLv.14事件は起きない」ということがきっかけだ fact6: ぷにぷにゅLv.43事件はまちゅまちゃLv.91事件により発生する ; $hypothesis$ = 「狡いということが生じる」ということは成り立つ ; $proof$ = 
fact3 -> int1: まちゅまちゃLv.91事件が発生する; int1 & fact6 -> int2: ぷにぷにゅLv.43事件が起こる; int2 & fact4 -> int3: ぷにぷにゅLv.43事件と戻し易いということが発生する; int3 & fact2 -> int4: ぷにょぷくLv.14事件は起きない; int4 & fact5 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact6 -> int2: {C}; int2 & fact4 -> int3: ({C} & {D}); int3 & fact2 -> int4: ¬{E}; int4 & fact5 -> hypothesis; __DISPROVED__