「ぴえぴちょLv.57事件は取っ付き難いということの原因となる」ということは誤っている
fact1: みくみよLv.7事件はぷちゃぷにゃLv.64事件を誘発する fact2: 重苦しいということはぴえぴちょLv.57事件にもたらされる fact3: 「ぷのぷえLv.41事件が生じる」ということは本当だ fact4: 支障無いということが生じる fact5: 重苦しいということは「取っ付き難いということは発生しない」ということを阻む
void -> assump1: 以下のように仮定する。ぴえぴちょLv.57事件が生じる; fact2 & assump1 -> int1: 「重苦しいということが起きる」ということは確かだ; int1 & fact5 -> int2: 取っ付き難いということが起こる; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: みくみよLv.7事件はぷちゃぷにゃLv.64事件を誘発する fact2: 重苦しいということはぴえぴちょLv.57事件にもたらされる fact3: 「ぷのぷえLv.41事件が生じる」ということは本当だ fact4: 支障無いということが生じる fact5: 重苦しいということは「取っ付き難いということは発生しない」ということを阻む ; $hypothesis$ = 「ぴえぴちょLv.57事件は取っ付き難いということの原因となる」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。ぴえぴちょLv.57事件が生じる; fact2 & assump1 -> int1: 「重苦しいということが起きる」ということは確かだ; int1 & fact5 -> int2: 取っ付き難いということが起こる; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; [assump1] & int2 -> hypothesis; __DISPROVED__