そのみのみいLv.58は麗々しいということはない
fact1: あのぴなぴやLv.9は清い fact2: あのぴなぴやLv.9は避け難い fact3: もしもあのぴなぴやLv.9が清いしそれが避け難いとしたらそのみのみいLv.58は選択し易くない fact4: 仮になんらかのモンスターが避け難いということはないならそれは麗々しいしおまけに清い fact5: このまいまにゅLv.53は麗々しくない
fact1 & fact2 -> int1: あのぴなぴやLv.9は清いし避け難い; int1 & fact3 -> int2: そのみのみいLv.58は選択し易くない;
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b};
そのみのみいLv.58は麗々しい
fact6 -> int3: 仮にそのみのみいLv.58が避け難くないならばそのみのみいLv.58は麗々しくて加えて清い;
$facts$ = fact1: あのぴなぴやLv.9は清い fact2: あのぴなぴやLv.9は避け難い fact3: もしもあのぴなぴやLv.9が清いしそれが避け難いとしたらそのみのみいLv.58は選択し易くない fact4: 仮になんらかのモンスターが避け難いということはないならそれは麗々しいしおまけに清い fact5: このまいまにゅLv.53は麗々しくない ; $hypothesis$ = そのみのみいLv.58は麗々しいということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__