「もし逆回転することが生じれば本当らしいということが生じる」ということは嘘だ
fact1: 本当らしいということは生じないということは「ぽよぽにLv.46事件が起きる」ということに阻止される fact2: 逆回転することはぽよぽにLv.46事件のきっかけとなる fact3: ぽよぽにLv.46事件は生じないということは「逆回転することと判断し難いということ両方が起きる」ということに帰結する fact4: ぷちょぷねLv.64事件が起きる fact5: 歯痒いということが起きる
void -> assump1: 以下のように仮定する。逆回転することが起こる; fact2 & assump1 -> int1: ぽよぽにLv.46事件が生じる; int1 & fact1 -> int2: 「本当らしいということが発生する」ということは確かだ; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact1 -> int2: {C}; [assump1] & int2 -> hypothesis;
判断し難いということが生じる
$facts$ = fact1: 本当らしいということは生じないということは「ぽよぽにLv.46事件が起きる」ということに阻止される fact2: 逆回転することはぽよぽにLv.46事件のきっかけとなる fact3: ぽよぽにLv.46事件は生じないということは「逆回転することと判断し難いということ両方が起きる」ということに帰結する fact4: ぷちょぷねLv.64事件が起きる fact5: 歯痒いということが起きる ; $hypothesis$ = 「もし逆回転することが生じれば本当らしいということが生じる」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。逆回転することが起こる; fact2 & assump1 -> int1: ぽよぽにLv.46事件が生じる; int1 & fact1 -> int2: 「本当らしいということが発生する」ということは確かだ; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact1 -> int2: {C}; [assump1] & int2 -> hypothesis; __DISPROVED__