そのぷわぷちゅLv.50は根気強くない
fact1: そのぷわぷちゅLv.50は執念深い fact2: そのぷわぷちゅLv.50は配信するということはない fact3: もしあるモンスターが配信しないとしたらそれは執念深いししかも根気強い
fact3 -> int1: もしもそのぷわぷちゅLv.50が配信しないとしたらそのぷわぷちゅLv.50は執念深くて根気強い; int1 & fact2 -> int2: そのぷわぷちゅLv.50は執念深いし加えてそれは根気強い; int2 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis;
$facts$ = fact1: そのぷわぷちゅLv.50は執念深い fact2: そのぷわぷちゅLv.50は配信するということはない fact3: もしあるモンスターが配信しないとしたらそれは執念深いししかも根気強い ; $hypothesis$ = そのぷわぷちゅLv.50は根気強くない ; $proof$ = 
fact3 -> int1: もしもそのぷわぷちゅLv.50が配信しないとしたらそのぷわぷちゅLv.50は執念深くて根気強い; int1 & fact2 -> int2: そのぷわぷちゅLv.50は執念深いし加えてそれは根気強い; int2 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis; __DISPROVED__