「仮にされ易いとすれば透明化する」モンスターはいる
fact1: 仮にこのもえもよLv.81が律するとすればそれは透明化する fact2: 「仮に透明化するなら律する」モンスターはいる fact3: このもえもよLv.81がされ易いなら律する fact4: もし仮に「何らかのモンスターは答え易くないし面白いということはない」ということは成り立つということはないとしたら答え易い fact5: 仮にあのぴえぴゆLv.74は答え易いとすれば「このもえもよLv.81はくねらないけれどそれは透明化する」ということは確かであるということはない fact6: もしも「とあるモンスターはくねらないが透明化する」ということは本当でないなら透明化しない
void -> assump1: 以下のように仮定する。「このもえもよLv.81はされ易い」ということは本当である; fact3 & assump1 -> int1: このもえもよLv.81は律する; int1 & fact1 -> int2: このもえもよLv.81は透明化する; [assump1] & int2 -> int3: もし仮にこのもえもよLv.81がされ易いならばこのもえもよLv.81は透明化する; int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis;
そのぽねぽねLv.9はされ易い
fact9 -> int4: もし「このもえもよLv.81はくねらないがしかし透明化する」ということは嘘であるとしたらこのもえもよLv.81は透明化するということはない; fact7 -> int5: もし「「あのぴえぴゆLv.74は答え易くなくてさらにそれは面白くない」ということは間違いだ」ということは成り立つならそれは答え易い;
$facts$ = fact1: 仮にこのもえもよLv.81が律するとすればそれは透明化する fact2: 「仮に透明化するなら律する」モンスターはいる fact3: このもえもよLv.81がされ易いなら律する fact4: もし仮に「何らかのモンスターは答え易くないし面白いということはない」ということは成り立つということはないとしたら答え易い fact5: 仮にあのぴえぴゆLv.74は答え易いとすれば「このもえもよLv.81はくねらないけれどそれは透明化する」ということは確かであるということはない fact6: もしも「とあるモンスターはくねらないが透明化する」ということは本当でないなら透明化しない ; $hypothesis$ = 「仮にされ易いとすれば透明化する」モンスターはいる ; $proof$ = 
void -> assump1: 以下のように仮定する。「このもえもよLv.81はされ易い」ということは本当である; fact3 & assump1 -> int1: このもえもよLv.81は律する; int1 & fact1 -> int2: このもえもよLv.81は透明化する; [assump1] & int2 -> int3: もし仮にこのもえもよLv.81がされ易いならばこのもえもよLv.81は透明化する; int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis; __PROVED__