そのぽいぽにゅLv.20は誘発し易い
fact1: そのぽいぽにゅLv.20は引き去るし威張れる fact2: 低しないし癒し難いモンスターは強いということはない fact3: このもちょもにょLv.14が低ししその上近付き易い fact4: そのぽいぽにゅLv.20が真っ白くて低しならそのぽいぽにゅLv.20は誘発し易くない fact5: そのぽいぽにゅLv.20は真っ白い fact6: このみねみいLv.59は強い fact7: 「このみねみいLv.59は威張れる」ということは偽でない fact8: このみねみいLv.59は威張れるしそれに強いならそれは癒し難くない fact9: もし「このみねみいLv.59は強い」ということは偽だとしたらそのぽいぽにゅLv.20は威張れるし更に誘発し易い
fact7 & fact6 -> int1: このみねみいLv.59は威張れるし強い; int1 & fact8 -> int2: このみねみいLv.59は癒し難くない;
fact7 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact8 -> int2: ¬{C}{a};
そのぽいぽにゅLv.20は誘発し易い
fact10 -> int3: 仮にこのみねみいLv.59は低しないが癒し難いならそれは強いということはない;
$facts$ = fact1: そのぽいぽにゅLv.20は引き去るし威張れる fact2: 低しないし癒し難いモンスターは強いということはない fact3: このもちょもにょLv.14が低ししその上近付き易い fact4: そのぽいぽにゅLv.20が真っ白くて低しならそのぽいぽにゅLv.20は誘発し易くない fact5: そのぽいぽにゅLv.20は真っ白い fact6: このみねみいLv.59は強い fact7: 「このみねみいLv.59は威張れる」ということは偽でない fact8: このみねみいLv.59は威張れるしそれに強いならそれは癒し難くない fact9: もし「このみねみいLv.59は強い」ということは偽だとしたらそのぽいぽにゅLv.20は威張れるし更に誘発し易い ; $hypothesis$ = そのぽいぽにゅLv.20は誘発し易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__