このぷゆぷにゃLv.89は齎し易くない
fact1: このぷゆぷにゃLv.89は入り辛い fact2: このぷゆぷにゃLv.89は船出する fact3: 仮にこのぷゆぷにゃLv.89が入り辛くておまけにそれが齎し易いとすればこのぷゆぷにゃLv.89は船出しない
void -> assump1: 以下のように仮定する。「このぷゆぷにゃLv.89は齎し易い」ということは成り立つ; fact1 & assump1 -> int1: このぷゆぷにゃLv.89は入り辛いしおまけに齎し易い; int1 & fact3 -> int2: 「このぷゆぷにゃLv.89は船出しない」ということは嘘でない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; fact1 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: このぷゆぷにゃLv.89は入り辛い fact2: このぷゆぷにゃLv.89は船出する fact3: 仮にこのぷゆぷにゃLv.89が入り辛くておまけにそれが齎し易いとすればこのぷゆぷにゃLv.89は船出しない ; $hypothesis$ = このぷゆぷにゃLv.89は齎し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このぷゆぷにゃLv.89は齎し易い」ということは成り立つ; fact1 & assump1 -> int1: このぷゆぷにゃLv.89は入り辛いしおまけに齎し易い; int1 & fact3 -> int2: 「このぷゆぷにゃLv.89は船出しない」ということは嘘でない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; fact1 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__