そのぷいぷにょLv.88は混入し易い
fact1: 仮に言い易いモンスターが増え難いとするとそれは混入し易くない fact2: もし「あのぴにょぴゆLv.70は増え難い」ということは真実であるならばそれは尽くし難い fact3: 浅くないモンスターは言い易くて尽くし難い fact4: 仮にあのぴにょぴゆLv.70が増え難くないとすればそのぷいぷにょLv.88は尽くし難くて言い易い fact5: 仮にあのぴにょぴゆLv.70が尽くし難いならそのぷいぷにょLv.88は混入し易い fact6: あのぴにょぴゆLv.70は言い易いししかも増え難い
fact6 -> int1: あのぴにょぴゆLv.70は増え難い; int1 & fact2 -> int2: 「あのぴにょぴゆLv.70は尽くし難くない」ということは間違いである; int2 & fact5 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact5 -> hypothesis;
そのぷいぷにょLv.88は混入し易くない
fact7 -> int3: 仮にそのぷいぷにょLv.88が言い易いしその上それは増え難いなら「混入し易くない」ということは成り立つ; fact8 -> int4: そのぷいぷにょLv.88が浅くないとするとそれは言い易くてそれにそれは尽くし難い;
$facts$ = fact1: 仮に言い易いモンスターが増え難いとするとそれは混入し易くない fact2: もし「あのぴにょぴゆLv.70は増え難い」ということは真実であるならばそれは尽くし難い fact3: 浅くないモンスターは言い易くて尽くし難い fact4: 仮にあのぴにょぴゆLv.70が増え難くないとすればそのぷいぷにょLv.88は尽くし難くて言い易い fact5: 仮にあのぴにょぴゆLv.70が尽くし難いならそのぷいぷにょLv.88は混入し易い fact6: あのぴにょぴゆLv.70は言い易いししかも増え難い ; $hypothesis$ = そのぷいぷにょLv.88は混入し易い ; $proof$ = 
fact6 -> int1: あのぴにょぴゆLv.70は増え難い; int1 & fact2 -> int2: 「あのぴにょぴゆLv.70は尽くし難くない」ということは間違いである; int2 & fact5 -> hypothesis; __PROVED__
fact6 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact5 -> hypothesis; __PROVED__