以下のように仮定する。ぴねぴわLv.8事件が起きる
fact1: もし仮に「ぴちょぴいLv.78事件が生じるしぴねぴわLv.8事件は発生しない」ということは誤りであるならぴちょぴいLv.78事件は起こらない fact2: 大人気無いということが発生する fact3: ぴにゃぴちょLv.50事件が生じる fact4: もしもぴにゃぴちょLv.50事件およびぴねぴわLv.8事件が起これば大人気無いということは生じない fact5: もし「「ぴねぴわLv.8事件は起こらなくて大人気無いということが生じる」ということは正しくない」ということは成り立てばぴねぴわLv.8事件が発生する
void -> assump1: 以下のように仮定する。ぴねぴわLv.8事件が起きる; fact3 & assump1 -> int1: ぴにゃぴちょLv.50事件が起こるしかつぴねぴわLv.8事件が起きる; int1 & fact4 -> int2: 大人気無いということは生じない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact3 & assump1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。ぴねぴわLv.8事件が起きる
$facts$ = fact1: もし仮に「ぴちょぴいLv.78事件が生じるしぴねぴわLv.8事件は発生しない」ということは誤りであるならぴちょぴいLv.78事件は起こらない fact2: 大人気無いということが発生する fact3: ぴにゃぴちょLv.50事件が生じる fact4: もしもぴにゃぴちょLv.50事件およびぴねぴわLv.8事件が起これば大人気無いということは生じない fact5: もし「「ぴねぴわLv.8事件は起こらなくて大人気無いということが生じる」ということは正しくない」ということは成り立てばぴねぴわLv.8事件が発生する ; $hypothesis$ = 以下のように仮定する。ぴねぴわLv.8事件が起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぴねぴわLv.8事件が起きる; fact3 & assump1 -> int1: ぴにゃぴちょLv.50事件が起こるしかつぴねぴわLv.8事件が起きる; int1 & fact4 -> int2: 大人気無いということは生じない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact3 & assump1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__