あのもなもなLv.41は相殺するけどめでたしない
fact1: もしそのぽちょぽちょLv.76が程無いとすればあのもなもなLv.41はサインする fact2: 仮にとあるモンスターがサインするとすればそれはディスプレイするしさらにそれは程無いということはない fact3: あのもなもなLv.41はめでたしない fact4: あのもなもなLv.41は混ぜ入れるけど黒しない fact5: もしあのもなもなLv.41が程無いならばそのぽちょぽちょLv.76はめでたし fact6: もしもあのもなもなLv.41がサインするとすると相殺する fact7: そのぽちょぽちょLv.76は程無いかまたはそれはディスプレイするかもしくはどちらもだ fact8: このぽなぽえLv.92はサインする fact9: 仮にそのぽちょぽちょLv.76はディスプレイするとしたら「あのもなもなLv.41はサインする」ということは誤りだということはない
fact7 & fact1 & fact9 -> int1: あのもなもなLv.41はサインする; int1 & fact6 -> int2: あのもなもなLv.41は相殺する; int2 & fact3 -> hypothesis;
fact7 & fact1 & fact9 -> int1: {C}{c}; int1 & fact6 -> int2: {D}{c}; int2 & fact3 -> hypothesis;
そのぽちょぽちょLv.76はめでたしかまたはそれは浮き立つかまたは両方ともである
fact10 -> int3: もし「このぽなぽえLv.92はサインする」ということは成り立つとするとこのぽなぽえLv.92はディスプレイするがそれは程無くない; int3 & fact11 -> int4: このぽなぽえLv.92はディスプレイするがしかしそれは程無くない; int4 -> int5: このぽなぽえLv.92は程無くない; int5 -> int6: 程無くないモンスターはいる;
$facts$ = fact1: もしそのぽちょぽちょLv.76が程無いとすればあのもなもなLv.41はサインする fact2: 仮にとあるモンスターがサインするとすればそれはディスプレイするしさらにそれは程無いということはない fact3: あのもなもなLv.41はめでたしない fact4: あのもなもなLv.41は混ぜ入れるけど黒しない fact5: もしあのもなもなLv.41が程無いならばそのぽちょぽちょLv.76はめでたし fact6: もしもあのもなもなLv.41がサインするとすると相殺する fact7: そのぽちょぽちょLv.76は程無いかまたはそれはディスプレイするかもしくはどちらもだ fact8: このぽなぽえLv.92はサインする fact9: 仮にそのぽちょぽちょLv.76はディスプレイするとしたら「あのもなもなLv.41はサインする」ということは誤りだということはない ; $hypothesis$ = あのもなもなLv.41は相殺するけどめでたしない ; $proof$ = 
fact7 & fact1 & fact9 -> int1: あのもなもなLv.41はサインする; int1 & fact6 -> int2: あのもなもなLv.41は相殺する; int2 & fact3 -> hypothesis; __PROVED__
fact7 & fact1 & fact9 -> int1: {C}{c}; int1 & fact6 -> int2: {D}{c}; int2 & fact3 -> hypothesis; __PROVED__