このぷにょぷにLv.16は粘っこい
fact1: もし仮になにがしかのモンスターは青っぽくないとすると「厳しくないけれど粘っこい」ということは正しくない fact2: 仮に「このぷにょぷにLv.16は弱々しい」ということは真実であるならそれは粘っこい fact3: そのぷえぷにょLv.45は粘っこい fact4: 「このぷにょぷにLv.16はし難いということはなくてそれに見付け易くない」ということは偽である fact5: 仮に「このぷにょぷにLv.16は守り立てない」ということは誤りであるとすると「それは目新しいということはないし更に弱々しくない」ということは偽である fact6: もし仮にこのぷにょぷにLv.16が厳しいならそれは青っぽい fact7: もしこのぷにょぷにLv.16が烏滸がましいならばこのぷにょぷにLv.16は粘っこい fact8: もしもこのぷにょぷにLv.16が青っぽいとしたらこのぷにょぷにLv.16は目新しい fact9: もしこのぷにょぷにLv.16が目新しいとしたらそれは弱々しい fact10: もし仮に「このぷにょぷにLv.16はし難くなくてそれは見付け易くない」ということは成り立つということはないならこのぷにょぷにLv.16は厳しい
fact10 & fact4 -> int1: このぷにょぷにLv.16は厳しい; int1 & fact6 -> int2: このぷにょぷにLv.16は青っぽい; int2 & fact8 -> int3: このぷにょぷにLv.16は目新しい; int3 & fact9 -> int4: このぷにょぷにLv.16は弱々しい; int4 & fact2 -> hypothesis;
fact10 & fact4 -> int1: {B}{a}; int1 & fact6 -> int2: {A}{a}; int2 & fact8 -> int3: {C}{a}; int3 & fact9 -> int4: {D}{a}; int4 & fact2 -> hypothesis;
このぷにょぷにLv.16は粘っこくない
fact12 -> int5: 仮にこのぷにょぷにLv.16は青っぽくないとすると「このぷにょぷにLv.16は厳しくないけれど粘っこい」ということは事実と異なる;
$facts$ = fact1: もし仮になにがしかのモンスターは青っぽくないとすると「厳しくないけれど粘っこい」ということは正しくない fact2: 仮に「このぷにょぷにLv.16は弱々しい」ということは真実であるならそれは粘っこい fact3: そのぷえぷにょLv.45は粘っこい fact4: 「このぷにょぷにLv.16はし難いということはなくてそれに見付け易くない」ということは偽である fact5: 仮に「このぷにょぷにLv.16は守り立てない」ということは誤りであるとすると「それは目新しいということはないし更に弱々しくない」ということは偽である fact6: もし仮にこのぷにょぷにLv.16が厳しいならそれは青っぽい fact7: もしこのぷにょぷにLv.16が烏滸がましいならばこのぷにょぷにLv.16は粘っこい fact8: もしもこのぷにょぷにLv.16が青っぽいとしたらこのぷにょぷにLv.16は目新しい fact9: もしこのぷにょぷにLv.16が目新しいとしたらそれは弱々しい fact10: もし仮に「このぷにょぷにLv.16はし難くなくてそれは見付け易くない」ということは成り立つということはないならこのぷにょぷにLv.16は厳しい ; $hypothesis$ = このぷにょぷにLv.16は粘っこい ; $proof$ = 
fact10 & fact4 -> int1: このぷにょぷにLv.16は厳しい; int1 & fact6 -> int2: このぷにょぷにLv.16は青っぽい; int2 & fact8 -> int3: このぷにょぷにLv.16は目新しい; int3 & fact9 -> int4: このぷにょぷにLv.16は弱々しい; int4 & fact2 -> hypothesis; __PROVED__
fact10 & fact4 -> int1: {B}{a}; int1 & fact6 -> int2: {A}{a}; int2 & fact8 -> int3: {C}{a}; int3 & fact9 -> int4: {D}{a}; int4 & fact2 -> hypothesis; __PROVED__