「そのぽわぽにゃLv.28は覚束無い」ということは事実だ
fact1: もしもとあるモンスターが問い合わせるかあるいは卑賤視しないかもしくは両方ならばそれは覚束無くない fact2: そのもわもなLv.96は卑賤視する fact3: もし仮にそのもわもなLv.96が卑賤視するならあのぴなぴにLv.44は問い合わせる fact4: 仮にそのぽわぽにゃLv.28が生じ難いならばそのぽわぽにゃLv.28は覚束無い fact5: もし仮にあのぴなぴにLv.44が問い合わせるならそのぽわぽにゃLv.28は生じ難い
fact3 & fact2 -> int1: あのぴなぴにLv.44は問い合わせる; int1 & fact5 -> int2: そのぽわぽにゃLv.28は生じ難い; int2 & fact4 -> hypothesis;
fact3 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact4 -> hypothesis;
そのぽわぽにゃLv.28は覚束無くない
fact6 -> int3: 仮にそのぽわぽにゃLv.28が問い合わせるか卑賤視するということはないか両方ともだとすればそのぽわぽにゃLv.28は覚束無くない;
$facts$ = fact1: もしもとあるモンスターが問い合わせるかあるいは卑賤視しないかもしくは両方ならばそれは覚束無くない fact2: そのもわもなLv.96は卑賤視する fact3: もし仮にそのもわもなLv.96が卑賤視するならあのぴなぴにLv.44は問い合わせる fact4: 仮にそのぽわぽにゃLv.28が生じ難いならばそのぽわぽにゃLv.28は覚束無い fact5: もし仮にあのぴなぴにLv.44が問い合わせるならそのぽわぽにゃLv.28は生じ難い ; $hypothesis$ = 「そのぽわぽにゃLv.28は覚束無い」ということは事実だ ; $proof$ = 
fact3 & fact2 -> int1: あのぴなぴにLv.44は問い合わせる; int1 & fact5 -> int2: そのぽわぽにゃLv.28は生じ難い; int2 & fact4 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact4 -> hypothesis; __PROVED__