そのまえまにゅLv.64は初々しくない
fact1: 仮にあのものもえLv.9は御辛いということはないならば「あのぷくぷえLv.38はぼろいしその上迷い易い」ということは成り立たない fact2: 「「ぼろいしそれに迷い易い」ということは正しくない」モンスターがいるとするとこのぽちょぽゆLv.26は面倒臭い fact3: もし仮にこのぽちょぽゆLv.26が面倒臭いならばそのまえまにゅLv.64は分解され難い fact4: あのものもえLv.9は御辛くない
fact1 & fact4 -> int1: 「あのぷくぷえLv.38はぼろくて加えて迷い易い」ということは偽である; int1 -> int2: 「「ぼろいし迷い易い」ということは間違っている」モンスターはいる; int2 & fact2 -> int3: このぽちょぽゆLv.26は面倒臭い; int3 & fact3 -> int4: そのまえまにゅLv.64は分解され難い;
fact1 & fact4 -> int1: ¬({AA}{b} & {AB}{b}); int1 -> int2: (Ex): ¬({AA}x & {AB}x); int2 & fact2 -> int3: {B}{c}; int3 & fact3 -> int4: {C}{d};
$facts$ = fact1: 仮にあのものもえLv.9は御辛いということはないならば「あのぷくぷえLv.38はぼろいしその上迷い易い」ということは成り立たない fact2: 「「ぼろいしそれに迷い易い」ということは正しくない」モンスターがいるとするとこのぽちょぽゆLv.26は面倒臭い fact3: もし仮にこのぽちょぽゆLv.26が面倒臭いならばそのまえまにゅLv.64は分解され難い fact4: あのものもえLv.9は御辛くない ; $hypothesis$ = そのまえまにゅLv.64は初々しくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__