そのみのみのLv.7は弾き易くない
fact1: 仮にこのぷちゅぷくLv.93が弾き易いとすればテンパイする fact2: もしもこのぷちゅぷくLv.93がテンパイするとしたらそのみのみのLv.7は見過ごし難い fact3: もしも「このぷちゅぷくLv.93は表現し難い」ということは成り立つならテンパイする fact4: テンパイするし見過ごし難くないというモンスターはない fact5: そのみのみのLv.7は馬鹿らしい fact6: このぷちゅぷくLv.93は馬鹿らしい fact7: もし仮にそのみのみのLv.7が分解され難くてそれに見過ごし難いならば弾き易くない fact8: このぴくぴにょLv.23は分解され難い fact9: そのみのみのLv.7は分解され難い fact10: もしもこのぷちゅぷくLv.93が馬鹿らしいとしたら表現し難い
fact10 & fact6 -> int1: このぷちゅぷくLv.93は表現し難い; int1 & fact3 -> int2: このぷちゅぷくLv.93はテンパイする; int2 & fact2 -> int3: そのみのみのLv.7は見過ごし難い; int3 & fact9 -> int4: そのみのみのLv.7は分解され難くてかつそれは見過ごし難い; int4 & fact7 -> hypothesis;
fact10 & fact6 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{b}; int3 & fact9 -> int4: ({E}{b} & {D}{b}); int4 & fact7 -> hypothesis;
そのみのみのLv.7は弾き易い
fact11 -> int5: 「「あのぴちゃぴやLv.12はテンパイするけれど見過ごし難くない」ということは偽だ」ということは確かだ;
$facts$ = fact1: 仮にこのぷちゅぷくLv.93が弾き易いとすればテンパイする fact2: もしもこのぷちゅぷくLv.93がテンパイするとしたらそのみのみのLv.7は見過ごし難い fact3: もしも「このぷちゅぷくLv.93は表現し難い」ということは成り立つならテンパイする fact4: テンパイするし見過ごし難くないというモンスターはない fact5: そのみのみのLv.7は馬鹿らしい fact6: このぷちゅぷくLv.93は馬鹿らしい fact7: もし仮にそのみのみのLv.7が分解され難くてそれに見過ごし難いならば弾き易くない fact8: このぴくぴにょLv.23は分解され難い fact9: そのみのみのLv.7は分解され難い fact10: もしもこのぷちゅぷくLv.93が馬鹿らしいとしたら表現し難い ; $hypothesis$ = そのみのみのLv.7は弾き易くない ; $proof$ = 
fact10 & fact6 -> int1: このぷちゅぷくLv.93は表現し難い; int1 & fact3 -> int2: このぷちゅぷくLv.93はテンパイする; int2 & fact2 -> int3: そのみのみのLv.7は見過ごし難い; int3 & fact9 -> int4: そのみのみのLv.7は分解され難くてかつそれは見過ごし難い; int4 & fact7 -> hypothesis; __PROVED__
fact10 & fact6 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{b}; int3 & fact9 -> int4: ({E}{b} & {D}{b}); int4 & fact7 -> hypothesis; __PROVED__