あのぽなぽのLv.84は鎮静化するかあるいは這いずる
fact1: もしもそのみなみなLv.11が拵えるとするとあのぽなぽのLv.84は鎮静化する fact2: もし仮にそのみなみなLv.11が扱い易いとしたらあのぽゆぽにゃLv.92は用い易い fact3: そのみなみなLv.11が鎮静化するとすればそれは扱い易いが拵えない fact4: もしあるモンスターは扱い易くないとしたら「それは鎮静化するかまたは這いずるかあるいはどちらもだ」ということは間違いである fact5: そのみなみなLv.11は扱い易くておまけにそれは拵える
fact5 -> int1: そのみなみなLv.11は拵える; int1 & fact1 -> int2: あのぽなぽのLv.84は鎮静化する; int2 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 -> hypothesis;
「あのぽなぽのLv.84は鎮静化するかもしくは這いずるかもしくはどちらもだ」ということは成り立つということはない
fact6 -> int3: 仮にそのみなみなLv.11は扱い易くないとすれば「鎮静化するかあるいは這いずるかまたはどちらもである」ということは成り立つということはない;
$facts$ = fact1: もしもそのみなみなLv.11が拵えるとするとあのぽなぽのLv.84は鎮静化する fact2: もし仮にそのみなみなLv.11が扱い易いとしたらあのぽゆぽにゃLv.92は用い易い fact3: そのみなみなLv.11が鎮静化するとすればそれは扱い易いが拵えない fact4: もしあるモンスターは扱い易くないとしたら「それは鎮静化するかまたは這いずるかあるいはどちらもだ」ということは間違いである fact5: そのみなみなLv.11は扱い易くておまけにそれは拵える ; $hypothesis$ = あのぽなぽのLv.84は鎮静化するかあるいは這いずる ; $proof$ = 
fact5 -> int1: そのみなみなLv.11は拵える; int1 & fact1 -> int2: あのぽなぽのLv.84は鎮静化する; int2 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 -> hypothesis; __PROVED__