そのまよまにゅLv.44は誘い出さない
fact1: もしあのもえもゆLv.88が御強いとするとあのもえもゆLv.88は切り易い fact2: あのもえもゆLv.88は砕け易くてそれは御強い fact3: あのもえもゆLv.88が切り易いならあのぷのぷえLv.17は細い fact4: もしこのもえもよLv.6は汚れ難いとしたら「そのまよまにゅLv.44は誘い出す」ということは事実だ
fact2 -> int1: 「あのもえもゆLv.88は御強い」ということは誤りでない; int1 & fact1 -> int2: あのもえもゆLv.88は切り易い; int2 & fact3 -> int3: あのぷのぷえLv.17は細い;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{b};
$facts$ = fact1: もしあのもえもゆLv.88が御強いとするとあのもえもゆLv.88は切り易い fact2: あのもえもゆLv.88は砕け易くてそれは御強い fact3: あのもえもゆLv.88が切り易いならあのぷのぷえLv.17は細い fact4: もしこのもえもよLv.6は汚れ難いとしたら「そのまよまにゅLv.44は誘い出す」ということは事実だ ; $hypothesis$ = そのまよまにゅLv.44は誘い出さない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__