「蒸し暑いということが発生する」ということは成り立つ
fact1: ぷちょぷわLv.29事件は生じないとすれば痛々しいということが起こるしまた蒸し暑いということが生じる fact2: 「ぷやぷにょLv.24事件が起こるかもしくは近付き易いということが起きる」ということは痛々しいということを防ぐ fact3: ぴえぴにゅLv.98事件は「ぷやぷにょLv.24事件は生じない」ということを阻む fact4: ぴえぴにゅLv.98事件が発生する fact5: 「もし仮に痛々しいということは生じないとすれば痛々しいということは生じなくて更に蒸し暑いということは生じない」ということは確かだ fact6: 痛々しいということと近付き易いということが生じるはぷやぷにょLv.24事件を阻む
fact3 & fact4 -> int1: ぷやぷにょLv.24事件が起こる; int1 -> int2: ぷやぷにょLv.24事件が生じるかもしくは近付き易いということが発生するかまたは両方ともである; int2 & fact2 -> int3: 痛々しいということは発生しない; int3 & fact5 -> int4: 痛々しいということは起こらなくてしかも蒸し暑いということは起きない; int4 -> hypothesis;
fact3 & fact4 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> int3: ¬{D}; int3 & fact5 -> int4: (¬{D} & ¬{E}); int4 -> hypothesis;
「蒸し暑いということが発生する」ということは成り立つ
$facts$ = fact1: ぷちょぷわLv.29事件は生じないとすれば痛々しいということが起こるしまた蒸し暑いということが生じる fact2: 「ぷやぷにょLv.24事件が起こるかもしくは近付き易いということが起きる」ということは痛々しいということを防ぐ fact3: ぴえぴにゅLv.98事件は「ぷやぷにょLv.24事件は生じない」ということを阻む fact4: ぴえぴにゅLv.98事件が発生する fact5: 「もし仮に痛々しいということは生じないとすれば痛々しいということは生じなくて更に蒸し暑いということは生じない」ということは確かだ fact6: 痛々しいということと近付き易いということが生じるはぷやぷにょLv.24事件を阻む ; $hypothesis$ = 「蒸し暑いということが発生する」ということは成り立つ ; $proof$ = 
fact3 & fact4 -> int1: ぷやぷにょLv.24事件が起こる; int1 -> int2: ぷやぷにょLv.24事件が生じるかもしくは近付き易いということが発生するかまたは両方ともである; int2 & fact2 -> int3: 痛々しいということは発生しない; int3 & fact5 -> int4: 痛々しいということは起こらなくてしかも蒸し暑いということは起きない; int4 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> int3: ¬{D}; int3 & fact5 -> int4: (¬{D} & ¬{E}); int4 -> hypothesis; __DISPROVED__