「このみよみよLv.30は奨励するかそれはおもろくない」ということは誤りだ
fact1: もしそのまいまにLv.65が忝いとすればこのみくみくLv.4は直り難い fact2: このみくみくLv.4は直り難くない
void -> assump1: 以下のように仮定する。そのまいまにLv.65は忝い; fact1 & assump1 -> int1: このみくみくLv.4は直り難い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのまいまにLv.65は忝くない;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a};
$facts$ = fact1: もしそのまいまにLv.65が忝いとすればこのみくみくLv.4は直り難い fact2: このみくみくLv.4は直り難くない ; $hypothesis$ = 「このみよみよLv.30は奨励するかそれはおもろくない」ということは誤りだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__