もちゃもねLv.2事件は発生しない
fact1: ぷなぷちゅLv.69事件が発生する fact2: ぷねぷくLv.98事件が起こる fact3: もちゃもねLv.2事件およびみなみにLv.10事件が生じるは「ぷねぷくLv.98事件は起きない」ということを誘発する fact4: 「みなみにLv.10事件が発生する」ということは成り立つ fact5: まやまちょLv.50事件が起こるとしたらみなみにLv.10事件は起きない一方でぷねぷくLv.98事件が起こる fact6: まやまちょLv.50事件は考うことにより発生する fact7: もし仮に隙間無いということは発生しないとしたら考うことおよびまやまなLv.63事件が発生する
void -> assump1: 以下のように仮定する。もちゃもねLv.2事件が発生する; assump1 & fact4 -> int1: もちゃもねLv.2事件が発生するしみなみにLv.10事件が起きる; int1 & fact3 -> int2: 「ぷねぷくLv.98事件は生じない」ということは成り立つ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
ぷにぷにゃLv.9事件は発生しない
$facts$ = fact1: ぷなぷちゅLv.69事件が発生する fact2: ぷねぷくLv.98事件が起こる fact3: もちゃもねLv.2事件およびみなみにLv.10事件が生じるは「ぷねぷくLv.98事件は起きない」ということを誘発する fact4: 「みなみにLv.10事件が発生する」ということは成り立つ fact5: まやまちょLv.50事件が起こるとしたらみなみにLv.10事件は起きない一方でぷねぷくLv.98事件が起こる fact6: まやまちょLv.50事件は考うことにより発生する fact7: もし仮に隙間無いということは発生しないとしたら考うことおよびまやまなLv.63事件が発生する ; $hypothesis$ = もちゃもねLv.2事件は発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。もちゃもねLv.2事件が発生する; assump1 & fact4 -> int1: もちゃもねLv.2事件が発生するしみなみにLv.10事件が起きる; int1 & fact3 -> int2: 「ぷねぷくLv.98事件は生じない」ということは成り立つ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__