あのぷやぷわLv.84は過ぎ行かない
fact1: なにがしかのモンスターは落ち易くてそれにそれは相対化出来る fact2: とあるモンスターは腑甲斐無い fact3: あのぷゆぷにゅLv.58は相対化出来る fact4: あのぷやぷわLv.84は相対化出来ない fact5: あのぷゆぷにゅLv.58はバランス良い fact6: あのぷゆぷにゅLv.58は相対化出来るし加えて落ち易い fact7: なんらかのモンスターがバランス良くないとしたら落ち易いし過ぎ行く
fact6 -> int1: あのぷゆぷにゅLv.58は落ち易い; int1 & fact5 -> int2: あのぷゆぷにゅLv.58は落ち易いしさらにそれはバランス良い; int2 -> int3: 「落ち易いしバランス良い」モンスターはいる;
fact6 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {B}{a}); int2 -> int3: (Ex): ({A}x & {B}x);
あのぷやぷわLv.84は過ぎ行く
fact8 -> int4: もし仮にあのぷやぷわLv.84がバランス良くないとすれば落ち易いしまた過ぎ行く;
$facts$ = fact1: なにがしかのモンスターは落ち易くてそれにそれは相対化出来る fact2: とあるモンスターは腑甲斐無い fact3: あのぷゆぷにゅLv.58は相対化出来る fact4: あのぷやぷわLv.84は相対化出来ない fact5: あのぷゆぷにゅLv.58はバランス良い fact6: あのぷゆぷにゅLv.58は相対化出来るし加えて落ち易い fact7: なんらかのモンスターがバランス良くないとしたら落ち易いし過ぎ行く ; $hypothesis$ = あのぷやぷわLv.84は過ぎ行かない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__