以下のように仮定する。まちゃまねLv.94事件が生じる
fact1: すっごーいということが生じる fact2: 「まちゃまねLv.94事件は起こらない」ということはまゆまなLv.3事件に防がれる fact3: まわまやLv.23事件が生じる fact4: 「まゆまなLv.3事件かまちゃまねLv.94事件かまたは両方ともが起きる」ということはすっごーいということは起こらないということを誘発する
void -> assump1: 以下のように仮定する。まちゃまねLv.94事件が生じる; assump1 -> int1: まゆまなLv.3事件かまたはまちゃまねLv.94事件か両方ともが生じる; int1 & fact4 -> int2: すっごーいということは生じない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。まちゃまねLv.94事件が生じる
$facts$ = fact1: すっごーいということが生じる fact2: 「まちゃまねLv.94事件は起こらない」ということはまゆまなLv.3事件に防がれる fact3: まわまやLv.23事件が生じる fact4: 「まゆまなLv.3事件かまちゃまねLv.94事件かまたは両方ともが起きる」ということはすっごーいということは起こらないということを誘発する ; $hypothesis$ = 以下のように仮定する。まちゃまねLv.94事件が生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。まちゃまねLv.94事件が生じる; assump1 -> int1: まゆまなLv.3事件かまたはまちゃまねLv.94事件か両方ともが生じる; int1 & fact4 -> int2: すっごーいということは生じない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__