まゆまちょLv.54事件は起きない
fact1: 「まゆまちょLv.54事件が生じるし加えてもいもなLv.0事件が生じる」ということは汚れ易いということは起こらないということが契機である fact2: まゆまちょLv.54事件は「もいもなLv.0事件は発生しない」ということを阻む fact3: もいもなLv.0事件は発生しない fact4: もし「もいもなLv.0事件が起きるかもしくはまゆまちょLv.54事件が発生する」ということは正しくないとしたら揮発し易いということは起こらない fact5: 安っぽいということは発生しない fact6: 肌寒いということが起きる
void -> assump1: 以下のように仮定する。まゆまちょLv.54事件が生じる; fact2 & assump1 -> int1: もいもなLv.0事件が起きる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。まゆまちょLv.54事件が生じる
$facts$ = fact1: 「まゆまちょLv.54事件が生じるし加えてもいもなLv.0事件が生じる」ということは汚れ易いということは起こらないということが契機である fact2: まゆまちょLv.54事件は「もいもなLv.0事件は発生しない」ということを阻む fact3: もいもなLv.0事件は発生しない fact4: もし「もいもなLv.0事件が起きるかもしくはまゆまちょLv.54事件が発生する」ということは正しくないとしたら揮発し易いということは起こらない fact5: 安っぽいということは発生しない fact6: 肌寒いということが起きる ; $hypothesis$ = まゆまちょLv.54事件は起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。まゆまちょLv.54事件が生じる; fact2 & assump1 -> int1: もいもなLv.0事件が起きる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__