このみやみねLv.76は投げ上げる
fact1: このぴちょぴちゅLv.63は締め過ぎるしおまけに付着し易い fact2: このぴちょぴちゅLv.63は緩み易い fact3: このぴちょぴちゅLv.63は薄い fact4: もし薄いモンスターが緩み易いとしたらこのぴえぴちゃLv.91はむくつけしということはない fact5: もしこのぴえぴちゃLv.91がむくつけしないならそのぽちゅぽにゅLv.34は締め過ぎなくてそれにそれは溜めない fact6: このみやみねLv.76はむくつけしし更に把握し難い
fact3 & fact2 -> int1: このぴちょぴちゅLv.63は薄いしさらに緩み易い; int1 -> int2: 何らかのモンスターは薄くてそれに緩み易い; int2 & fact4 -> int3: このぴえぴちゃLv.91はむくつけしということはない; int3 & fact5 -> int4: そのぽちゅぽにゅLv.34は締め過ぎなくて更に溜めるということはない;
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact4 -> int3: ¬{C}{b}; int3 & fact5 -> int4: (¬{D}{c} & ¬{E}{c});
$facts$ = fact1: このぴちょぴちゅLv.63は締め過ぎるしおまけに付着し易い fact2: このぴちょぴちゅLv.63は緩み易い fact3: このぴちょぴちゅLv.63は薄い fact4: もし薄いモンスターが緩み易いとしたらこのぴえぴちゃLv.91はむくつけしということはない fact5: もしこのぴえぴちゃLv.91がむくつけしないならそのぽちゅぽにゅLv.34は締め過ぎなくてそれにそれは溜めない fact6: このみやみねLv.76はむくつけしし更に把握し難い ; $hypothesis$ = このみやみねLv.76は投げ上げる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__