以下のように仮定する。戻り易いということが起きる
fact1: バランス良いということが起こる fact2: 「バランス良いということは起こらない」ということは頼もしいということがきっかけである fact3: ぷやぷちゃLv.88事件は起きないということは「まよまなLv.10事件が生じるか飲み尽くすことが生じるかあるいは両方ともである」ということにより生じる fact4: 頼もしいということか戻り易いということはバランス良いということは発生しないということを引き起こす
void -> assump1: 以下のように仮定する。戻り易いということが起きる; assump1 -> int1: 頼もしいということかまたは戻り易いということが起こる; int1 & fact4 -> int2: バランス良いということは起こらない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: バランス良いということが起こる fact2: 「バランス良いということは起こらない」ということは頼もしいということがきっかけである fact3: ぷやぷちゃLv.88事件は起きないということは「まよまなLv.10事件が生じるか飲み尽くすことが生じるかあるいは両方ともである」ということにより生じる fact4: 頼もしいということか戻り易いということはバランス良いということは発生しないということを引き起こす ; $hypothesis$ = 以下のように仮定する。戻り易いということが起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。戻り易いということが起きる; assump1 -> int1: 頼もしいということかまたは戻り易いということが起こる; int1 & fact4 -> int2: バランス良いということは起こらない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__