このみよみよLv.65は御存じ無くてそれは感慨深い
fact1: このぴわぴちゅLv.84は破けないならば「このぴわぴちゅLv.84は白けるしそれは跳梁跋扈する」ということは成り立たない fact2: もしもこのぴわぴちゅLv.84が外し易いならそのぽちゃぽにLv.9は外し易い fact3: 「このみよみよLv.65は御存じ無い」ということは本当だ fact4: 仮に「断定し難い」モンスターがいるならあのぴゆぴちゃLv.50は破けるということはない fact5: 外し易くないモンスターは感慨深い fact6: このみよみよLv.65は外し易くない fact7: 「もしとあるモンスターが白けるならそれは外し易い」ということは誤りでない fact8: 「断定し難い」モンスターはいる
fact5 -> int1: もしもこのみよみよLv.65が外し易くないとするとそれは感慨深い; int1 & fact6 -> int2: 「このみよみよLv.65は感慨深い」ということは成り立つ; int2 & fact3 -> hypothesis;
fact5 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact6 -> int2: {C}{aa}; int2 & fact3 -> hypothesis;
そのぽちゃぽにLv.9は外し易い
$facts$ = fact1: このぴわぴちゅLv.84は破けないならば「このぴわぴちゅLv.84は白けるしそれは跳梁跋扈する」ということは成り立たない fact2: もしもこのぴわぴちゅLv.84が外し易いならそのぽちゃぽにLv.9は外し易い fact3: 「このみよみよLv.65は御存じ無い」ということは本当だ fact4: 仮に「断定し難い」モンスターがいるならあのぴゆぴちゃLv.50は破けるということはない fact5: 外し易くないモンスターは感慨深い fact6: このみよみよLv.65は外し易くない fact7: 「もしとあるモンスターが白けるならそれは外し易い」ということは誤りでない fact8: 「断定し難い」モンスターはいる ; $hypothesis$ = このみよみよLv.65は御存じ無くてそれは感慨深い ; $proof$ = 
fact5 -> int1: もしもこのみよみよLv.65が外し易くないとするとそれは感慨深い; int1 & fact6 -> int2: 「このみよみよLv.65は感慨深い」ということは成り立つ; int2 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact6 -> int2: {C}{aa}; int2 & fact3 -> hypothesis; __PROVED__