あのぴなぴのLv.95は雪深いかあるいはそれは孤立化する
fact1: 「このぴなぴわLv.59が心無くないけど漏れ易いならあのぴなぴのLv.95は雪深い」ということは本当である fact2: 仮にこのみにゃみにゃLv.48が注力すればこのぴなぴわLv.59は心無くないけれど漏れ易い fact3: このみにゃみにゃLv.48は注力するしまたそれは根深い
fact3 -> int1: このみにゃみにゃLv.48は注力する; fact2 & int1 -> int2: このぴなぴわLv.59は心無くないが漏れ易い; int2 & fact1 -> int3: あのぴなぴのLv.95は雪深い; int3 -> hypothesis;
fact3 -> int1: {A}{a}; fact2 & int1 -> int2: (¬{AA}{b} & {AB}{b}); int2 & fact1 -> int3: {B}{c}; int3 -> hypothesis;
$facts$ = fact1: 「このぴなぴわLv.59が心無くないけど漏れ易いならあのぴなぴのLv.95は雪深い」ということは本当である fact2: 仮にこのみにゃみにゃLv.48が注力すればこのぴなぴわLv.59は心無くないけれど漏れ易い fact3: このみにゃみにゃLv.48は注力するしまたそれは根深い ; $hypothesis$ = あのぴなぴのLv.95は雪深いかあるいはそれは孤立化する ; $proof$ = 
fact3 -> int1: このみにゃみにゃLv.48は注力する; fact2 & int1 -> int2: このぴなぴわLv.59は心無くないが漏れ易い; int2 & fact1 -> int3: あのぴなぴのLv.95は雪深い; int3 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; fact2 & int1 -> int2: (¬{AA}{b} & {AB}{b}); int2 & fact1 -> int3: {B}{c}; int3 -> hypothesis; __PROVED__