灰色っぽいということは生じない
fact1: 「「成され易いということが発生するけど灰色っぽいということは起こらない」ということは成り立たない」ということは本当であるなら成され易いということは起きない fact2: 思わしいということが起こる fact3: 思わしいということは「ぷちゅぷにょLv.14事件が発生するし灰色っぽいということが起こる」ということに阻まれる fact4: ぷちゅぷにょLv.14事件が起こる
void -> assump1: 以下のように仮定する。「灰色っぽいということが起きる」ということは確かである; fact4 & assump1 -> int1: ぷちゅぷにょLv.14事件および灰色っぽいということが起きる; int1 & fact3 -> int2: 思わしいということは生じない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact4 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
成され易いということは起こらない
$facts$ = fact1: 「「成され易いということが発生するけど灰色っぽいということは起こらない」ということは成り立たない」ということは本当であるなら成され易いということは起きない fact2: 思わしいということが起こる fact3: 思わしいということは「ぷちゅぷにょLv.14事件が発生するし灰色っぽいということが起こる」ということに阻まれる fact4: ぷちゅぷにょLv.14事件が起こる ; $hypothesis$ = 灰色っぽいということは生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。「灰色っぽいということが起きる」ということは確かである; fact4 & assump1 -> int1: ぷちゅぷにょLv.14事件および灰色っぽいということが起きる; int1 & fact3 -> int2: 思わしいということは生じない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; fact4 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__