そのものものLv.9は起こし難くない
fact1: 仮にそのものものLv.9がどでかいしそれが起こし難いとするとそれは生き難くない fact2: そのものものLv.9はどでかい fact3: そのものものLv.9は生き難い fact4: もしなにがしかのモンスターが軽々しいかまたはばらすか両方であるとすると生き難くない
void -> assump1: 以下のように仮定する。そのものものLv.9は起こし難い; fact2 & assump1 -> int1: そのものものLv.9はどでかいししかも起こし難い; int1 & fact1 -> int2: 「そのものものLv.9は生き難いということはない」ということは事実である; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; fact2 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのものものLv.9は起こし難い
fact5 -> int4: 「あのまゆまなLv.13は軽々しいかそれはばらすかまたは両方ともである」ということは本当であるとするとあのまゆまなLv.13は生き難くない;
$facts$ = fact1: 仮にそのものものLv.9がどでかいしそれが起こし難いとするとそれは生き難くない fact2: そのものものLv.9はどでかい fact3: そのものものLv.9は生き難い fact4: もしなにがしかのモンスターが軽々しいかまたはばらすか両方であるとすると生き難くない ; $hypothesis$ = そのものものLv.9は起こし難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのものものLv.9は起こし難い; fact2 & assump1 -> int1: そのものものLv.9はどでかいししかも起こし難い; int1 & fact1 -> int2: 「そのものものLv.9は生き難いということはない」ということは事実である; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; fact2 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__