以下のように仮定する。変え難いということが起こる
fact1: みねみちゃLv.30事件は強しということと変え難いということが生じるに阻止される fact2: みねみちゃLv.30事件が発生する fact3: ぽやぽえLv.78事件が発生する fact4: 泳ぎ着くことが生じる fact5: 強しということが起こる fact6: 「ぷねぷにLv.33事件と甘いということが起きるは事実である」ということは打ち上がり易いということを阻止する
void -> assump1: 以下のように仮定する。変え難いということが起こる; fact5 & assump1 -> int1: 強しということが生じるしそれに変え難いということが起きる; int1 & fact1 -> int2: みねみちゃLv.30事件は起こらない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact5 & assump1 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: みねみちゃLv.30事件は強しということと変え難いということが生じるに阻止される fact2: みねみちゃLv.30事件が発生する fact3: ぽやぽえLv.78事件が発生する fact4: 泳ぎ着くことが生じる fact5: 強しということが起こる fact6: 「ぷねぷにLv.33事件と甘いということが起きるは事実である」ということは打ち上がり易いということを阻止する ; $hypothesis$ = 以下のように仮定する。変え難いということが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。変え難いということが起こる; fact5 & assump1 -> int1: 強しということが生じるしそれに変え難いということが起きる; int1 & fact1 -> int2: みねみちゃLv.30事件は起こらない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact5 & assump1 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__