引き難いモンスターであってかつ変化し得るモンスターはいる
fact1: そのみなみちょLv.34は通じ易くて加えて変化し得る fact2: そのみなみちょLv.34は引き難い fact3: そのみなみちょLv.34が通じ易いとしたらあのぽくぽちゃLv.27は通じ易い
fact1 -> int1: そのみなみちょLv.34は変化し得る; int1 & fact2 -> int2: そのみなみちょLv.34は引き難いし更にそれは変化し得る; int2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{a} & {B}{a}); int2 -> hypothesis;
あのぽくぽちゃLv.27は通じ易い
$facts$ = fact1: そのみなみちょLv.34は通じ易くて加えて変化し得る fact2: そのみなみちょLv.34は引き難い fact3: そのみなみちょLv.34が通じ易いとしたらあのぽくぽちゃLv.27は通じ易い ; $hypothesis$ = 引き難いモンスターであってかつ変化し得るモンスターはいる ; $proof$ = 
fact1 -> int1: そのみなみちょLv.34は変化し得る; int1 & fact2 -> int2: そのみなみちょLv.34は引き難いし更にそれは変化し得る; int2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{a} & {B}{a}); int2 -> hypothesis; __PROVED__