まくまにLv.30事件は生じない
fact1: 青臭いということと頼もしいということどちらもが生じる fact2: まにゃまいLv.11事件とみにゅみなLv.87事件両方が起きれば御偉いということは発生しない fact3: 近いということが起こる fact4: もししゃくることが起こらないとすれば近いということが起こるかあるいは残り難いということは発生するかもしくは両方だ fact5: 「残り難いということが起きる」ということは成り立つ fact6: まくまにLv.30事件と残り難いということが起こるは近いということは発生しないということに帰結する fact7: もしも残り難いということは生じないならばまくまにLv.30事件が発生するししかも錆無いということが起こる fact8: しゃくることは「青臭いということが生じるけれどぷやぷえLv.23事件は発生しない」ということに防がれる
void -> assump1: 以下のように仮定する。「まくまにLv.30事件が発生する」ということは成り立つ; assump1 & fact5 -> int1: まくまにLv.30事件と残り難いということどちらもが発生する; int1 & fact6 -> int2: 近いということは生じない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact5 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
掴ますことと錆無いということ両方ともが発生する
$facts$ = fact1: 青臭いということと頼もしいということどちらもが生じる fact2: まにゃまいLv.11事件とみにゅみなLv.87事件両方が起きれば御偉いということは発生しない fact3: 近いということが起こる fact4: もししゃくることが起こらないとすれば近いということが起こるかあるいは残り難いということは発生するかもしくは両方だ fact5: 「残り難いということが起きる」ということは成り立つ fact6: まくまにLv.30事件と残り難いということが起こるは近いということは発生しないということに帰結する fact7: もしも残り難いということは生じないならばまくまにLv.30事件が発生するししかも錆無いということが起こる fact8: しゃくることは「青臭いということが生じるけれどぷやぷえLv.23事件は発生しない」ということに防がれる ; $hypothesis$ = まくまにLv.30事件は生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。「まくまにLv.30事件が発生する」ということは成り立つ; assump1 & fact5 -> int1: まくまにLv.30事件と残り難いということどちらもが発生する; int1 & fact6 -> int2: 近いということは生じない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact5 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__