「このぴえぴのLv.1は微分するかそれは掲示する」ということは成り立たない
fact1: もしもそのみにょみにゃLv.22が掲示しないとしたらこのぴえぴのLv.1は微分するかあるいは掲示するかあるいはどちらもだ fact2: 「もしもなにがしかのモンスターが微分しないとしたら再発しない」ということは確かだ fact3: もしなんらかのモンスターが再発しないならば掲示しなくてその上如此しない fact4: このぽいぽちゅLv.50は再発しない
このぴえぴのLv.1は如此しない
fact6 -> int1: もし仮にこのぴえぴのLv.1が再発しないとすると掲示しなくてかつ如此しない; fact5 -> int2: このぴえぴのLv.1は微分しないとすれば「再発しない」ということは正しい;
$facts$ = fact1: もしもそのみにょみにゃLv.22が掲示しないとしたらこのぴえぴのLv.1は微分するかあるいは掲示するかあるいはどちらもだ fact2: 「もしもなにがしかのモンスターが微分しないとしたら再発しない」ということは確かだ fact3: もしなんらかのモンスターが再発しないならば掲示しなくてその上如此しない fact4: このぽいぽちゅLv.50は再発しない ; $hypothesis$ = 「このぴえぴのLv.1は微分するかそれは掲示する」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__