「そのぷいぷえLv.75は詳しくないし生み続けない」ということは成り立たない
fact1: あのぷちゅぷちゅLv.60は破れ難い fact2: あらゆるモンスターは盤踞するということはない fact3: あのぷちゅぷちゅLv.60は住み良い fact4: 仮にあのぷちゅぷちゅLv.60が破れ難くてさらに住み良いならあのぷにゃぷいLv.80は生み続けない fact5: もしもあのぷにゃぷいLv.80が生み続けるということはないとしたらそのぷいぷえLv.75は詳しくなくてさらに生み続けない
fact1 & fact3 -> int1: あのぷちゅぷちゅLv.60は破れ難いしまた住み良い; int1 & fact4 -> int2: あのぷにゃぷいLv.80は生み続けるということはない; int2 & fact5 -> hypothesis;
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact5 -> hypothesis;
このみちゃみちゅLv.94は住み良くない
fact6 -> int3: あのぷちゅぷちゅLv.60は盤踞しない;
$facts$ = fact1: あのぷちゅぷちゅLv.60は破れ難い fact2: あらゆるモンスターは盤踞するということはない fact3: あのぷちゅぷちゅLv.60は住み良い fact4: 仮にあのぷちゅぷちゅLv.60が破れ難くてさらに住み良いならあのぷにゃぷいLv.80は生み続けない fact5: もしもあのぷにゃぷいLv.80が生み続けるということはないとしたらそのぷいぷえLv.75は詳しくなくてさらに生み続けない ; $hypothesis$ = 「そのぷいぷえLv.75は詳しくないし生み続けない」ということは成り立たない ; $proof$ = 
fact1 & fact3 -> int1: あのぷちゅぷちゅLv.60は破れ難いしまた住み良い; int1 & fact4 -> int2: あのぷにゃぷいLv.80は生み続けるということはない; int2 & fact5 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__