「そのみちょみのLv.74は許し難いかまたは忘れ易いかもしくは両方ともだ」ということは誤りである
fact1: 腹黒くないモンスターは立て易くて忘れ易い fact2: そのもちゅもわLv.11は立て易い fact3: もしもそのみちょみのLv.74が支障無いとしたら忘れ易い fact4: もしもそのもちゅもわLv.11は立て易いならば「そのみちょみのLv.74は美しいけれどそれは支障無くない」ということは誤っている
fact4 & fact2 -> int1: 「そのみちょみのLv.74は美しいが支障無くない」ということは嘘である;
fact4 & fact2 -> int1: ¬({AA}{b} & ¬{AB}{b});
「そのみちょみのLv.74は許し難いかまたは忘れ易いかもしくは両方ともだ」ということは誤りである
fact5 -> int2: 仮にそのもちゅもわLv.11が腹黒いということはないとするとそのもちゅもわLv.11は立て易いししかもそれは忘れ易い;
$facts$ = fact1: 腹黒くないモンスターは立て易くて忘れ易い fact2: そのもちゅもわLv.11は立て易い fact3: もしもそのみちょみのLv.74が支障無いとしたら忘れ易い fact4: もしもそのもちゅもわLv.11は立て易いならば「そのみちょみのLv.74は美しいけれどそれは支障無くない」ということは誤っている ; $hypothesis$ = 「そのみちょみのLv.74は許し難いかまたは忘れ易いかもしくは両方ともだ」ということは誤りである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__