言い易いということは起こらない
fact1: 「みやみにLv.67事件が発生する」ということは成り立つ fact2: もしも言い易いということが起きるとしたら覚え難いということが起こるかあるいはぷやぷくLv.27事件は起きない fact3: 「ぷやぷくLv.27事件は起こらない」ということは続き易いということは起こらないということを誘発する fact4: どうしても欲しいということは起きないということはみちゃみちょLv.11事件が契機だ fact5: 「続き易いということが起きる」ということは「ぷやぷくLv.27事件は起こらない」ということにより生じる fact6: 続き易いということが発生する fact7: 「続き易いということおよび言い易いということ両方ともが生じる」ということは「生き辛いということは生じない」ということが原因だ fact8: 覚え難いということは続き易いということを防ぐ
void -> assump1: 以下のように仮定する。言い易いということが生じる; fact2 & assump1 -> int1: 覚え難いということは発生するかもしくはぷやぷくLv.27事件は起こらないかもしくはどちらもだ; int1 & fact8 & fact3 -> int2: 「続き易いということは生じない」ということは確かである; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: ({AA} v ¬{AB}); int1 & fact8 & fact3 -> int2: ¬{B}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。言い易いということが生じる
$facts$ = fact1: 「みやみにLv.67事件が発生する」ということは成り立つ fact2: もしも言い易いということが起きるとしたら覚え難いということが起こるかあるいはぷやぷくLv.27事件は起きない fact3: 「ぷやぷくLv.27事件は起こらない」ということは続き易いということは起こらないということを誘発する fact4: どうしても欲しいということは起きないということはみちゃみちょLv.11事件が契機だ fact5: 「続き易いということが起きる」ということは「ぷやぷくLv.27事件は起こらない」ということにより生じる fact6: 続き易いということが発生する fact7: 「続き易いということおよび言い易いということ両方ともが生じる」ということは「生き辛いということは生じない」ということが原因だ fact8: 覚え難いということは続き易いということを防ぐ ; $hypothesis$ = 言い易いということは起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。言い易いということが生じる; fact2 & assump1 -> int1: 覚え難いということは発生するかもしくはぷやぷくLv.27事件は起こらないかもしくはどちらもだ; int1 & fact8 & fact3 -> int2: 「続き易いということは生じない」ということは確かである; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: ({AA} v ¬{AB}); int1 & fact8 & fact3 -> int2: ¬{B}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__