以下のように仮定する。ぷのぷなLv.3事件が発生する
fact1: 仮に申告加算することは起きないなら「ぷのぷなLv.3事件は生じないが起因することが生じる」ということは間違いだ fact2: 申告加算することが起こる fact3: 赤しということが発生する fact4: 赤しということは「申告加算することが起きるしぷのぷなLv.3事件が発生する」ということに阻まれる fact5: もし「ぷのぷなLv.3事件は起こらなくて起因することが起こる」ということは事実と異なれば起因することは生じない fact6: もし仮に「ぷのぷなLv.3事件が起こらないけれど赤しということは発生する」ということは偽ならばぷのぷなLv.3事件が発生する
void -> assump1: 以下のように仮定する。ぷのぷなLv.3事件が発生する; fact2 & assump1 -> int1: 申告加算することとぷのぷなLv.3事件どちらもが発生する; int1 & fact4 -> int2: 赤しということは生じない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。ぷのぷなLv.3事件が発生する
$facts$ = fact1: 仮に申告加算することは起きないなら「ぷのぷなLv.3事件は生じないが起因することが生じる」ということは間違いだ fact2: 申告加算することが起こる fact3: 赤しということが発生する fact4: 赤しということは「申告加算することが起きるしぷのぷなLv.3事件が発生する」ということに阻まれる fact5: もし「ぷのぷなLv.3事件は起こらなくて起因することが起こる」ということは事実と異なれば起因することは生じない fact6: もし仮に「ぷのぷなLv.3事件が起こらないけれど赤しということは発生する」ということは偽ならばぷのぷなLv.3事件が発生する ; $hypothesis$ = 以下のように仮定する。ぷのぷなLv.3事件が発生する ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷのぷなLv.3事件が発生する; fact2 & assump1 -> int1: 申告加算することとぷのぷなLv.3事件どちらもが発生する; int1 & fact4 -> int2: 赤しということは生じない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__