そのもいもちょLv.19は誘発し易くて加えてそれは乗り継ぐ
fact1: 気怠くらないモンスターは行き難くてまた成り難い fact2: もし仮にあるモンスターが気怠いけどそれが行き難くないならばそれは乗り継がない fact3: もしそのみにょみにゃLv.0が行き難いならそのみにょみにゃLv.0は奉職する fact4: もし仮にそのみにょみにゃLv.0が奉職するならそのもいもちょLv.19は成り難い fact5: もしこのぷにょぷわLv.97が成り難いならそのもゆもえLv.98は奉職しない fact6: そのもいもちょLv.19は乗り継ぐ fact7: もしもそのもいもちょLv.19が成り難いならそのもいもちょLv.19は誘発し易い fact8: そのみにょみにゃLv.0は行き難いし気怠い
fact8 -> int1: そのみにょみにゃLv.0は行き難い; int1 & fact3 -> int2: 「そのみにょみにゃLv.0は奉職する」ということは偽でない; int2 & fact4 -> int3: そのもいもちょLv.19は成り難い; int3 & fact7 -> int4: そのもいもちょLv.19は誘発し易い; int4 & fact6 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact7 -> int4: {E}{b}; int4 & fact6 -> hypothesis;
このまにゅまにゅLv.63は成り難い
fact9 -> int5: このまにゅまにゅLv.63が気怠くらないとしたらそれは行き難いしそれに成り難い;
$facts$ = fact1: 気怠くらないモンスターは行き難くてまた成り難い fact2: もし仮にあるモンスターが気怠いけどそれが行き難くないならばそれは乗り継がない fact3: もしそのみにょみにゃLv.0が行き難いならそのみにょみにゃLv.0は奉職する fact4: もし仮にそのみにょみにゃLv.0が奉職するならそのもいもちょLv.19は成り難い fact5: もしこのぷにょぷわLv.97が成り難いならそのもゆもえLv.98は奉職しない fact6: そのもいもちょLv.19は乗り継ぐ fact7: もしもそのもいもちょLv.19が成り難いならそのもいもちょLv.19は誘発し易い fact8: そのみにょみにゃLv.0は行き難いし気怠い ; $hypothesis$ = そのもいもちょLv.19は誘発し易くて加えてそれは乗り継ぐ ; $proof$ = 
fact8 -> int1: そのみにょみにゃLv.0は行き難い; int1 & fact3 -> int2: 「そのみにょみにゃLv.0は奉職する」ということは偽でない; int2 & fact4 -> int3: そのもいもちょLv.19は成り難い; int3 & fact7 -> int4: そのもいもちょLv.19は誘発し易い; int4 & fact6 -> hypothesis; __PROVED__
fact8 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact7 -> int4: {E}{b}; int4 & fact6 -> hypothesis; __PROVED__