そのもねもにゅLv.17は緩くない
fact1: そのぷえぷちゅLv.20は現われ難くない fact2: もしもそのぷえぷちゅLv.20が恐れ多くないならばこのまちゃまちゅLv.84は現われ難いしおまけにそれは漏れ無い fact3: もしもそのぽにぽやLv.93が恐れ多いならばそのもねもにゅLv.17は緩い fact4: もしそのぷえぷちゅLv.20が漏れ無いがしかし現われ難くないとするとそのぽにぽやLv.93は恐れ多い fact5: そのぷえぷちゅLv.20は漏れ無い fact6: 所らしくないモンスターは現われ難いし恐れ多い fact7: 仮にそのぷえぷちゅLv.20が漏れ無くなくて緩いということはないとしたらそのもねもにゅLv.17は緩いということはない fact8: 現われ難いモンスターは漏れ無い
fact5 & fact1 -> int1: そのぷえぷちゅLv.20は漏れ無いけれど現われ難くない; int1 & fact4 -> int2: そのぽにぽやLv.93は恐れ多い; int2 & fact3 -> hypothesis;
fact5 & fact1 -> int1: ({A}{a} & ¬{B}{a}); int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
このまちゃまちゅLv.84は現われ難い
$facts$ = fact1: そのぷえぷちゅLv.20は現われ難くない fact2: もしもそのぷえぷちゅLv.20が恐れ多くないならばこのまちゃまちゅLv.84は現われ難いしおまけにそれは漏れ無い fact3: もしもそのぽにぽやLv.93が恐れ多いならばそのもねもにゅLv.17は緩い fact4: もしそのぷえぷちゅLv.20が漏れ無いがしかし現われ難くないとするとそのぽにぽやLv.93は恐れ多い fact5: そのぷえぷちゅLv.20は漏れ無い fact6: 所らしくないモンスターは現われ難いし恐れ多い fact7: 仮にそのぷえぷちゅLv.20が漏れ無くなくて緩いということはないとしたらそのもねもにゅLv.17は緩いということはない fact8: 現われ難いモンスターは漏れ無い ; $hypothesis$ = そのもねもにゅLv.17は緩くない ; $proof$ = 
fact5 & fact1 -> int1: そのぷえぷちゅLv.20は漏れ無いけれど現われ難くない; int1 & fact4 -> int2: そのぽにぽやLv.93は恐れ多い; int2 & fact3 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: ({A}{a} & ¬{B}{a}); int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__