もしこのみくみにょLv.26が思い易いとするとあのぴちゃぴにょLv.41は幼けない
fact1: 仮にこのみくみにょLv.26が重しならあのぴちゃぴにょLv.41は幼けない fact2: 構え易いモンスターは影響され易くなくて更に幼けなくない fact3: もし仮にこのみくみにょLv.26が思い易いならばそれは重し fact4: もし仮に「このみくみにょLv.26は影響され易くなくて加えて幼けなくない」ということは事実であるとしたらあのぴちゃぴにょLv.41は幼けないということはない fact5: 幼けないということはないモンスターは思い易いし加えて重し
void -> assump1: 以下のように仮定する。このみくみにょLv.26は思い易い; fact3 & assump1 -> int1: このみくみにょLv.26は重し; int1 & fact1 -> int2: あのぴちゃぴにょLv.41は幼けない; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
あのぴちゃぴにょLv.41は思い易い
fact8 -> int3: もしあのぴちゃぴにょLv.41が幼けなくないとすると思い易くて更に重し; fact6 -> int4: このみくみにょLv.26が構え易いとすればこのみくみにょLv.26は影響され易くないしさらにそれは幼けないということはない;
$facts$ = fact1: 仮にこのみくみにょLv.26が重しならあのぴちゃぴにょLv.41は幼けない fact2: 構え易いモンスターは影響され易くなくて更に幼けなくない fact3: もし仮にこのみくみにょLv.26が思い易いならばそれは重し fact4: もし仮に「このみくみにょLv.26は影響され易くなくて加えて幼けなくない」ということは事実であるとしたらあのぴちゃぴにょLv.41は幼けないということはない fact5: 幼けないということはないモンスターは思い易いし加えて重し ; $hypothesis$ = もしこのみくみにょLv.26が思い易いとするとあのぴちゃぴにょLv.41は幼けない ; $proof$ = 
void -> assump1: 以下のように仮定する。このみくみにょLv.26は思い易い; fact3 & assump1 -> int1: このみくみにょLv.26は重し; int1 & fact1 -> int2: あのぴちゃぴにょLv.41は幼けない; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __PROVED__