「このぽちゃぽにゅLv.10は敢え無くない」ということは嘘であるということはない
fact1: もしも「あのもにゃもにゃLv.87は騒がしい」ということは真実だとすればそのぷわぷにゅLv.45は迷信深いけれど敢え無くない fact2: 仮にそのもよもえLv.17が泥臭いとすればこのぽちゃぽにゅLv.10は敢え無い fact3: なにがしかのモンスターが泥臭いということはないなら騒がしくてかつ迷信深い fact4: そのぷわぷにゅLv.45は迷信深い fact5: もしもこのぽちゃぽにゅLv.10が泥臭いならばそのもよもえLv.17は敢え無い fact6: もしもあのもにゃもにゃLv.87が迷信深いならそのもよもえLv.17は泥臭い fact7: あのもにゃもにゃLv.87は敢え無い fact8: そのぷわぷにゅLv.45が騒がしいならばあのもにゃもにゃLv.87は迷信深い fact9: 「そのぷわぷにゅLv.45は騒がしい」ということは成り立つ
fact8 & fact9 -> int1: あのもにゃもにゃLv.87は迷信深い; int1 & fact6 -> int2: 「そのもよもえLv.17は泥臭い」ということは本当だ; int2 & fact2 -> hypothesis;
fact8 & fact9 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{c}; int2 & fact2 -> hypothesis;
このぷのぷいLv.17は騒がしい
fact10 -> int3: このぷのぷいLv.17が泥臭くないとすれば騒がしくてそれは迷信深い;
$facts$ = fact1: もしも「あのもにゃもにゃLv.87は騒がしい」ということは真実だとすればそのぷわぷにゅLv.45は迷信深いけれど敢え無くない fact2: 仮にそのもよもえLv.17が泥臭いとすればこのぽちゃぽにゅLv.10は敢え無い fact3: なにがしかのモンスターが泥臭いということはないなら騒がしくてかつ迷信深い fact4: そのぷわぷにゅLv.45は迷信深い fact5: もしもこのぽちゃぽにゅLv.10が泥臭いならばそのもよもえLv.17は敢え無い fact6: もしもあのもにゃもにゃLv.87が迷信深いならそのもよもえLv.17は泥臭い fact7: あのもにゃもにゃLv.87は敢え無い fact8: そのぷわぷにゅLv.45が騒がしいならばあのもにゃもにゃLv.87は迷信深い fact9: 「そのぷわぷにゅLv.45は騒がしい」ということは成り立つ ; $hypothesis$ = 「このぽちゃぽにゅLv.10は敢え無くない」ということは嘘であるということはない ; $proof$ = 
fact8 & fact9 -> int1: あのもにゃもにゃLv.87は迷信深い; int1 & fact6 -> int2: 「そのもよもえLv.17は泥臭い」ということは本当だ; int2 & fact2 -> hypothesis; __DISPROVED__
fact8 & fact9 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{c}; int2 & fact2 -> hypothesis; __DISPROVED__