そのぷちゃぷなLv.50は用心深いしまた持ち易い
fact1: もしもあのぽちゅぽくLv.1が脆いならそのぷちゃぷなLv.50は用心深い fact2: 「生き易い一方で目覚ましくない」モンスターはいる fact3: もしも「生き易いが目覚ましくない」モンスターがいるならあのぽちゅぽくLv.1は脆い fact4: そのぷちゃぷなLv.50は持ち易い fact5: もし仮に何らかのモンスターが生き易いとしたら持ち易い fact6: なにがしかのモンスターが目覚ましいなら生き易い
fact2 & fact3 -> int1: あのぽちゅぽくLv.1は脆い; int1 & fact1 -> int2: そのぷちゃぷなLv.50は用心深い; int2 & fact4 -> hypothesis;
fact2 & fact3 -> int1: {C}{a}; int1 & fact1 -> int2: {D}{b}; int2 & fact4 -> hypothesis;
このぽのぽゆLv.30は持ち易い
fact7 -> int3: 仮に「このぽのぽゆLv.30は生き易い」ということは本当であるなら持ち易い; fact8 -> int4: 仮にこのぽのぽゆLv.30が目覚ましいとすると生き易い;
$facts$ = fact1: もしもあのぽちゅぽくLv.1が脆いならそのぷちゃぷなLv.50は用心深い fact2: 「生き易い一方で目覚ましくない」モンスターはいる fact3: もしも「生き易いが目覚ましくない」モンスターがいるならあのぽちゅぽくLv.1は脆い fact4: そのぷちゃぷなLv.50は持ち易い fact5: もし仮に何らかのモンスターが生き易いとしたら持ち易い fact6: なにがしかのモンスターが目覚ましいなら生き易い ; $hypothesis$ = そのぷちゃぷなLv.50は用心深いしまた持ち易い ; $proof$ = 
fact2 & fact3 -> int1: あのぽちゅぽくLv.1は脆い; int1 & fact1 -> int2: そのぷちゃぷなLv.50は用心深い; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {C}{a}; int1 & fact1 -> int2: {D}{b}; int2 & fact4 -> hypothesis; __PROVED__