そのぽにぽねLv.21は入り易いということはない
fact1: 「そのみにょみちゅLv.65は入り易いということはないけれどそれは口惜しい」ということは嘘であるならばそのぽにぽねLv.21は入り易くない fact2: もしもなにがしかのモンスターはけばけばしくないとしたら「入り易くないが口惜しい」ということは成り立つということはない fact3: もし仮にそのみにょみちゅLv.65が口惜しいとすればそのもやもくLv.88はけばけばしい fact4: そのみにょみちゅLv.65は口惜しい fact5: もし仮にそのもやもくLv.88がけばけばしいならそのまゆまわLv.56は性分らしい fact6: そのまゆまわLv.56が性分らしいとすればそのぽにぽねLv.21は入り易い
fact3 & fact4 -> int1: そのもやもくLv.88はけばけばしい; int1 & fact5 -> int2: そのまゆまわLv.56は性分らしい; int2 & fact6 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact6 -> hypothesis;
そのぽにぽねLv.21は入り易いということはない
fact7 -> int3: 仮にそのみにょみちゅLv.65はけばけばしくないとしたら「そのみにょみちゅLv.65は入り易くないが口惜しい」ということは間違いである;
$facts$ = fact1: 「そのみにょみちゅLv.65は入り易いということはないけれどそれは口惜しい」ということは嘘であるならばそのぽにぽねLv.21は入り易くない fact2: もしもなにがしかのモンスターはけばけばしくないとしたら「入り易くないが口惜しい」ということは成り立つということはない fact3: もし仮にそのみにょみちゅLv.65が口惜しいとすればそのもやもくLv.88はけばけばしい fact4: そのみにょみちゅLv.65は口惜しい fact5: もし仮にそのもやもくLv.88がけばけばしいならそのまゆまわLv.56は性分らしい fact6: そのまゆまわLv.56が性分らしいとすればそのぽにぽねLv.21は入り易い ; $hypothesis$ = そのぽにぽねLv.21は入り易いということはない ; $proof$ = 
fact3 & fact4 -> int1: そのもやもくLv.88はけばけばしい; int1 & fact5 -> int2: そのまゆまわLv.56は性分らしい; int2 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact6 -> hypothesis; __DISPROVED__