そのまにゃまやLv.71は欲深くない
fact1: あのもやもゆLv.89は買わす fact2: そのぷやぷにゅLv.15は退色し易くておまけに欲深い fact3: あのもやもゆLv.89は身軽い fact4: もし仮にあのもやもゆLv.89が身軽いならばそれは生み易くないがしかしひょろ長い
fact4 & fact3 -> int1: あのもやもゆLv.89は生み易くないがしかしひょろ長い; int1 -> int2: あのもやもゆLv.89はひょろ長い; int2 & fact1 -> int3: あのもやもゆLv.89はひょろ長くてさらに買わす; int3 -> int4: あるモンスターはひょろ長いし更に買わす;
fact4 & fact3 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; int2 & fact1 -> int3: ({AB}{a} & {B}{a}); int3 -> int4: (Ex): ({AB}x & {B}x);
$facts$ = fact1: あのもやもゆLv.89は買わす fact2: そのぷやぷにゅLv.15は退色し易くておまけに欲深い fact3: あのもやもゆLv.89は身軽い fact4: もし仮にあのもやもゆLv.89が身軽いならばそれは生み易くないがしかしひょろ長い ; $hypothesis$ = そのまにゃまやLv.71は欲深くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__