そのもわもえLv.0は教え為さるか生じる
fact1: もし仮になにがしかのモンスターが茹で始めるということはないとすると生じ難い fact2: このぷやぷちゃLv.44は茹で始めない fact3: もしこのぷやぷちゃLv.44が生じ難いとするとそれは動揺し易い fact4: もし仮にこのぷやぷちゃLv.44は動揺し易いなら「そのもわもえLv.0は生じる」ということは正しい
fact1 -> int1: このぷやぷちゃLv.44が茹で始めないならこのぷやぷちゃLv.44は生じ難い; int1 & fact2 -> int2: このぷやぷちゃLv.44は生じ難い; int2 & fact3 -> int3: このぷやぷちゃLv.44は動揺し易い; int3 & fact4 -> int4: そのもわもえLv.0は生じる; int4 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact2 -> int2: {C}{aa}; int2 & fact3 -> int3: {A}{aa}; int3 & fact4 -> int4: {D}{a}; int4 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのモンスターが茹で始めるということはないとすると生じ難い fact2: このぷやぷちゃLv.44は茹で始めない fact3: もしこのぷやぷちゃLv.44が生じ難いとするとそれは動揺し易い fact4: もし仮にこのぷやぷちゃLv.44は動揺し易いなら「そのもわもえLv.0は生じる」ということは正しい ; $hypothesis$ = そのもわもえLv.0は教え為さるか生じる ; $proof$ = 
fact1 -> int1: このぷやぷちゃLv.44が茹で始めないならこのぷやぷちゃLv.44は生じ難い; int1 & fact2 -> int2: このぷやぷちゃLv.44は生じ難い; int2 & fact3 -> int3: このぷやぷちゃLv.44は動揺し易い; int3 & fact4 -> int4: そのもわもえLv.0は生じる; int4 -> hypothesis; __PROVED__
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact2 -> int2: {C}{aa}; int2 & fact3 -> int3: {A}{aa}; int3 & fact4 -> int4: {D}{a}; int4 -> hypothesis; __PROVED__