そのみにゅみいLv.11は復唱しない
fact1: あのぷにゅぷのLv.22は密接するし移ろい易い fact2: あのぷにゅぷのLv.22は下手するしそれは復唱する fact3: あのぷにゅぷのLv.22は密接する fact4: あのぷにゅぷのLv.22は香しい
fact1 -> int1: あのぷにゅぷのLv.22は移ろい易い; int1 & fact4 -> int2: あのぷにゅぷのLv.22は移ろい易いしまた香しい; int2 -> int3: なんらかのモンスターは移ろい易くてさらに香しい;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {B}{a}); int2 -> int3: (Ex): ({A}x & {B}x);
「下手するし持ち難い」モンスターはいる
fact5 -> int4: あのぷにゅぷのLv.22は下手する;
$facts$ = fact1: あのぷにゅぷのLv.22は密接するし移ろい易い fact2: あのぷにゅぷのLv.22は下手するしそれは復唱する fact3: あのぷにゅぷのLv.22は密接する fact4: あのぷにゅぷのLv.22は香しい ; $hypothesis$ = そのみにゅみいLv.11は復唱しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__