そのぷいぷゆLv.80は不活化する
fact1: もしこのぽくぽいLv.90が寄り集まるならそのぷいぷゆLv.80は不活化する fact2: あのもにもやLv.55が美々しくないとするとあのもにもやLv.55は不活化するしさらに寄り集まる fact3: このぽくぽいLv.90は寄り集まる fact4: もしこのぽくぽいLv.90が不活化するとすればそのぷいぷゆLv.80は寄り集まる fact5: 何らかのモンスターが寄り集まるということはないならば不活化しない
fact3 -> int1: このぽくぽいLv.90は寄り集まる; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
あのもにもやLv.55は不活化する
$facts$ = fact1: もしこのぽくぽいLv.90が寄り集まるならそのぷいぷゆLv.80は不活化する fact2: あのもにもやLv.55が美々しくないとするとあのもにもやLv.55は不活化するしさらに寄り集まる fact3: このぽくぽいLv.90は寄り集まる fact4: もしこのぽくぽいLv.90が不活化するとすればそのぷいぷゆLv.80は寄り集まる fact5: 何らかのモンスターが寄り集まるということはないならば不活化しない ; $hypothesis$ = そのぷいぷゆLv.80は不活化する ; $proof$ = 
fact3 -> int1: このぽくぽいLv.90は寄り集まる; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__