このぽにゃぽやLv.67は座り易いということはない
fact1: もしこのみわみいLv.51は語り続けないとしたら「それは寝苦しいけど経巡らない」ということは成り立たない fact2: もしもこのみわみいLv.51が常連らしいとすればこのみゆみよLv.38は寝苦しい fact3: なんらかのモンスターが寝苦しくないとしたら座り易いしそれに常連らしい fact4: 「このみゆみよLv.38は経巡るしかつそれは寝苦しい」ということは誤っていないとしたらこのぽにゃぽやLv.67は座り易くない fact5: このみゆみよLv.38は経巡る fact6: このみわみいLv.51は常連らしい
fact2 & fact6 -> int1: 「このみゆみよLv.38は寝苦しい」ということは本当である; int1 & fact5 -> int2: このみゆみよLv.38は経巡るし寝苦しい; int2 & fact4 -> hypothesis;
fact2 & fact6 -> int1: {B}{b}; int1 & fact5 -> int2: ({C}{b} & {B}{b}); int2 & fact4 -> hypothesis;
あのまにゃまねLv.69は座り易い
fact7 -> int3: 「もしもあのまにゃまねLv.69が寝苦しくないとすればあのまにゃまねLv.69は座り易いしおまけに常連らしい」ということは確かだ;
$facts$ = fact1: もしこのみわみいLv.51は語り続けないとしたら「それは寝苦しいけど経巡らない」ということは成り立たない fact2: もしもこのみわみいLv.51が常連らしいとすればこのみゆみよLv.38は寝苦しい fact3: なんらかのモンスターが寝苦しくないとしたら座り易いしそれに常連らしい fact4: 「このみゆみよLv.38は経巡るしかつそれは寝苦しい」ということは誤っていないとしたらこのぽにゃぽやLv.67は座り易くない fact5: このみゆみよLv.38は経巡る fact6: このみわみいLv.51は常連らしい ; $hypothesis$ = このぽにゃぽやLv.67は座り易いということはない ; $proof$ = 
fact2 & fact6 -> int1: 「このみゆみよLv.38は寝苦しい」ということは本当である; int1 & fact5 -> int2: このみゆみよLv.38は経巡るし寝苦しい; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact6 -> int1: {B}{b}; int1 & fact5 -> int2: ({C}{b} & {B}{b}); int2 & fact4 -> hypothesis; __PROVED__