このまねまのLv.90は疎開する
fact1: あのぴやぴゆLv.49は程近い fact2: もしもそのみなみにゃLv.99が敵中深いとするとあのぴやぴゆLv.49は程近くない一方で馴れ馴れしい fact3: あのぴやぴゆLv.49は比するし加えてそれは痛い fact4: 程近いモンスターが痛いならそのみなみにゃLv.99は馴れ馴れしい fact5: もし仮にあるモンスターは疎開するとしたら「それは痛いということはないしそれは程近くない」ということは間違っている
fact3 -> int1: 「あのぴやぴゆLv.49は痛い」ということは確かである; int1 & fact1 -> int2: あのぴやぴゆLv.49が程近いしその上痛い; int2 -> int3: 「程近いししかも痛い」モンスターはいる; int3 & fact4 -> int4: そのみなみにゃLv.99は馴れ馴れしい;
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{a} & {B}{a}); int2 -> int3: (Ex): ({C}x & {B}x); int3 & fact4 -> int4: {D}{b};
あのぽちゅぽなLv.59は馴れ馴れしい
fact6 -> int5: もし仮に「そのみなみにゃLv.99は疎開しない」ということは偽であるとすれば「それは痛くなくてそれに程近くない」ということは嘘だ;
$facts$ = fact1: あのぴやぴゆLv.49は程近い fact2: もしもそのみなみにゃLv.99が敵中深いとするとあのぴやぴゆLv.49は程近くない一方で馴れ馴れしい fact3: あのぴやぴゆLv.49は比するし加えてそれは痛い fact4: 程近いモンスターが痛いならそのみなみにゃLv.99は馴れ馴れしい fact5: もし仮にあるモンスターは疎開するとしたら「それは痛いということはないしそれは程近くない」ということは間違っている ; $hypothesis$ = このまねまのLv.90は疎開する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__