このぴちょぴゆLv.83は買い易いということはないかまたは話し辛いかまたは両方だ
fact1: 砕け易くないモンスターは姦しくないかまたは物憂いか両方である fact2: もし仮にこのぴちょぴゆLv.83が物憂くて加えて発表し合うとすればこのぴちょぴゆLv.83は買い易くない fact3: このぴちょぴゆLv.83は発表し合う fact4: もし仮にこのぷちゅぷにょLv.7が説明し易くて発表し合えば「このぴちょぴゆLv.83は砕け易くない」ということは本当である fact5: このぴちょぴゆLv.83は砕け易くて説明し易い fact6: このぴちょぴゆLv.83が砕け易いならばそれは物憂い fact7: このぴちょぴゆLv.83は説明し易い
fact5 -> int1: 「このぴちょぴゆLv.83は砕け易い」ということは正しい; int1 & fact6 -> int2: このぴちょぴゆLv.83は物憂い; int2 & fact3 -> int3: このぴちょぴゆLv.83は物憂くてそれは発表し合う; int3 & fact2 -> int4: このぴちょぴゆLv.83は買い易くない; int4 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> int3: ({C}{a} & {D}{a}); int3 & fact2 -> int4: ¬{E}{a}; int4 -> hypothesis;
このぴちょぴゆLv.83は姦しくないかもしくは物憂い
fact8 -> int5: もしこのぴちょぴゆLv.83が砕け易くないならそれは姦しくないかあるいは物憂いか両方だ;
$facts$ = fact1: 砕け易くないモンスターは姦しくないかまたは物憂いか両方である fact2: もし仮にこのぴちょぴゆLv.83が物憂くて加えて発表し合うとすればこのぴちょぴゆLv.83は買い易くない fact3: このぴちょぴゆLv.83は発表し合う fact4: もし仮にこのぷちゅぷにょLv.7が説明し易くて発表し合えば「このぴちょぴゆLv.83は砕け易くない」ということは本当である fact5: このぴちょぴゆLv.83は砕け易くて説明し易い fact6: このぴちょぴゆLv.83が砕け易いならばそれは物憂い fact7: このぴちょぴゆLv.83は説明し易い ; $hypothesis$ = このぴちょぴゆLv.83は買い易いということはないかまたは話し辛いかまたは両方だ ; $proof$ = 
fact5 -> int1: 「このぴちょぴゆLv.83は砕け易い」ということは正しい; int1 & fact6 -> int2: このぴちょぴゆLv.83は物憂い; int2 & fact3 -> int3: このぴちょぴゆLv.83は物憂くてそれは発表し合う; int3 & fact2 -> int4: このぴちょぴゆLv.83は買い易くない; int4 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> int3: ({C}{a} & {D}{a}); int3 & fact2 -> int4: ¬{E}{a}; int4 -> hypothesis; __PROVED__