そのまなまにゃLv.28は仰せ付けない
fact1: もし仮にこのぷやぷにLv.64が校正するし見なし得るならそのまなまにゃLv.28は仰せ付けるということはない fact2: 仮になんらかのモンスターが校正しないなら当たり易いし更に仰せ付ける fact3: そのぽいぽちゅLv.16は勝負するしまた当たり易い fact4: あのぽねぽわLv.22は当たり易い fact5: このぷやぷにLv.64は見なし得る fact6: もしあのぽねぽわLv.22が当たり易いならこのぷやぷにLv.64は校正する
fact6 & fact4 -> int1: このぷやぷにLv.64は校正する; int1 & fact5 -> int2: このぷやぷにLv.64は校正するしさらに見なし得る; int2 & fact1 -> hypothesis;
fact6 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis;
そのまなまにゃLv.28は仰せ付ける
fact7 -> int3: もしもそのまなまにゃLv.28が校正しないとすれば当たり易くて加えて仰せ付ける;
$facts$ = fact1: もし仮にこのぷやぷにLv.64が校正するし見なし得るならそのまなまにゃLv.28は仰せ付けるということはない fact2: 仮になんらかのモンスターが校正しないなら当たり易いし更に仰せ付ける fact3: そのぽいぽちゅLv.16は勝負するしまた当たり易い fact4: あのぽねぽわLv.22は当たり易い fact5: このぷやぷにLv.64は見なし得る fact6: もしあのぽねぽわLv.22が当たり易いならこのぷやぷにLv.64は校正する ; $hypothesis$ = そのまなまにゃLv.28は仰せ付けない ; $proof$ = 
fact6 & fact4 -> int1: このぷやぷにLv.64は校正する; int1 & fact5 -> int2: このぷやぷにLv.64は校正するしさらに見なし得る; int2 & fact1 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis; __PROVED__