あのまよまにゅLv.16は口煩い
fact1: そのみいみくLv.88は忘れっぽい fact2: 仮にそのみいみくLv.88が顕在化し易いとしたらあのまよまにゅLv.16は口煩い fact3: 「そのみいみくLv.88は顕在化し易いしかつそれは損ずる」ということは嘘である fact4: もしそのみいみくLv.88は顕在化し易くない一方で損ずれば忘れっぽくない fact5: 「そのみいみくLv.88は顕在化し易い」ということは嘘である fact6: もしもそのみいみくLv.88が顕在化し易いし損ずるならそのみいみくLv.88は忘れっぽくない
void -> assump1: 以下のように仮定する。そのみいみくLv.88は顕在化し易くないが損ずる; fact4 & assump1 -> int1: そのみいみくLv.88は忘れっぽくない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「そのみいみくLv.88は顕在化し易くないが損ずる」ということは誤りである;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact4 & assump1 -> int1: ¬{B}{a}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA}{a} & {AB}{a});
$facts$ = fact1: そのみいみくLv.88は忘れっぽい fact2: 仮にそのみいみくLv.88が顕在化し易いとしたらあのまよまにゅLv.16は口煩い fact3: 「そのみいみくLv.88は顕在化し易いしかつそれは損ずる」ということは嘘である fact4: もしそのみいみくLv.88は顕在化し易くない一方で損ずれば忘れっぽくない fact5: 「そのみいみくLv.88は顕在化し易い」ということは嘘である fact6: もしもそのみいみくLv.88が顕在化し易いし損ずるならそのみいみくLv.88は忘れっぽくない ; $hypothesis$ = あのまよまにゅLv.16は口煩い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__