そのみちゅみにゅLv.67はぼろい
fact1: そのぴなぴいLv.33はぼろい fact2: このみにゃみいLv.7はぼろい fact3: そのみちゅみにゅLv.67が手強いとすればそのみちゅみにゅLv.67は飼える fact4: そのみちゅみにゅLv.67が飼えるとしたらそのみちゅみにゅLv.67はぼろい fact5: そのみちゅみにゅLv.67が現われ難いとすればそれは役らしい fact6: 仮にそのみちゅみにゅLv.67は狙われ易いとしたら「そのみちゅみにゅLv.67は役らしい」ということは確かである fact7: そのみちゅみにゅLv.67は狙われ易いししかも叩き起こす fact8: そのみちゅみにゅLv.67は早しししかも水っぽい fact9: 仮にそのみちゅみにゅLv.67が役らしいとしたらそれは手強い fact10: そのみちゅみにゅLv.67は漏れ無い
fact7 -> int1: そのみちゅみにゅLv.67は狙われ易い; int1 & fact6 -> int2: そのみちゅみにゅLv.67は役らしい; int2 & fact9 -> int3: そのみちゅみにゅLv.67は手強い; int3 & fact3 -> int4: そのみちゅみにゅLv.67は飼える; int4 & fact4 -> hypothesis;
fact7 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact9 -> int3: {D}{a}; int3 & fact3 -> int4: {E}{a}; int4 & fact4 -> hypothesis;
$facts$ = fact1: そのぴなぴいLv.33はぼろい fact2: このみにゃみいLv.7はぼろい fact3: そのみちゅみにゅLv.67が手強いとすればそのみちゅみにゅLv.67は飼える fact4: そのみちゅみにゅLv.67が飼えるとしたらそのみちゅみにゅLv.67はぼろい fact5: そのみちゅみにゅLv.67が現われ難いとすればそれは役らしい fact6: 仮にそのみちゅみにゅLv.67は狙われ易いとしたら「そのみちゅみにゅLv.67は役らしい」ということは確かである fact7: そのみちゅみにゅLv.67は狙われ易いししかも叩き起こす fact8: そのみちゅみにゅLv.67は早しししかも水っぽい fact9: 仮にそのみちゅみにゅLv.67が役らしいとしたらそれは手強い fact10: そのみちゅみにゅLv.67は漏れ無い ; $hypothesis$ = そのみちゅみにゅLv.67はぼろい ; $proof$ = 
fact7 -> int1: そのみちゅみにゅLv.67は狙われ易い; int1 & fact6 -> int2: そのみちゅみにゅLv.67は役らしい; int2 & fact9 -> int3: そのみちゅみにゅLv.67は手強い; int3 & fact3 -> int4: そのみちゅみにゅLv.67は飼える; int4 & fact4 -> hypothesis; __PROVED__
fact7 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact9 -> int3: {D}{a}; int3 & fact3 -> int4: {E}{a}; int4 & fact4 -> hypothesis; __PROVED__