そのぴなぴなLv.58は痛ましいがしかし心憎くない
fact1: このもにゃもやLv.14は発生し難いがしかし吹き返さない fact2: もし仮になにがしかのモンスターは吹き返すとすると「発生し難い」ということは成り立つ fact3: そのぷえぷのLv.65は心憎い fact4: もしもこのもにゃもやLv.14が発生し難いならこのもにゃもやLv.14は心憎い fact5: もしこのもにゃもやLv.14は心憎いとすると「そのぴなぴなLv.58は痛ましいがしかしそれは心憎くない」ということは偽だ
fact1 -> int1: このもにゃもやLv.14は発生し難い; int1 & fact4 -> int2: このもにゃもやLv.14は心憎い; int2 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> hypothesis;
そのぴなぴなLv.58は痛ましいがしかし心憎くない
fact6 -> int3: 仮にそのぴなぴなLv.58が吹き返すならそれは発生し難い;
$facts$ = fact1: このもにゃもやLv.14は発生し難いがしかし吹き返さない fact2: もし仮になにがしかのモンスターは吹き返すとすると「発生し難い」ということは成り立つ fact3: そのぷえぷのLv.65は心憎い fact4: もしもこのもにゃもやLv.14が発生し難いならこのもにゃもやLv.14は心憎い fact5: もしこのもにゃもやLv.14は心憎いとすると「そのぴなぴなLv.58は痛ましいがしかしそれは心憎くない」ということは偽だ ; $hypothesis$ = そのぴなぴなLv.58は痛ましいがしかし心憎くない ; $proof$ = 
fact1 -> int1: このもにゃもやLv.14は発生し難い; int1 & fact4 -> int2: このもにゃもやLv.14は心憎い; int2 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> hypothesis; __DISPROVED__