このぷちゅぷにょLv.60は号泣するかもしくは塗り易い
fact1: そのぷにゅぷやLv.39は用心深い fact2: もしこのぷちゅぷにょLv.60が有力視すればそれはめでたし fact3: 何らかのモンスターは愛しなら「それは塗り易い」ということは事実である fact4: このぴにょぴのLv.99は塗り易い fact5: このぴにょぴのLv.99は愛ししかつ用心深い fact6: もし仮にこのぴにょぴのLv.99が用心深いならばこのぷちゅぷにょLv.60は有力視する fact7: もしこのぷちゅぷにょLv.60がめでたしならばこのぷちゅぷにょLv.60は号泣する
fact5 -> int1: このぴにょぴのLv.99は用心深い; int1 & fact6 -> int2: このぷちゅぷにょLv.60は有力視する; int2 & fact2 -> int3: このぷちゅぷにょLv.60はめでたし; int3 & fact7 -> int4: このぷちゅぷにょLv.60は号泣する; int4 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact2 -> int3: {D}{b}; int3 & fact7 -> int4: {E}{b}; int4 -> hypothesis;
「このぷちゅぷにょLv.60は号泣するかあるいはそれは塗り易いかまたは両方だ」ということは間違いだ
fact8 -> int5: 「このぴにょぴのLv.99が愛しならこのぴにょぴのLv.99は塗り易い」ということは正しい;
$facts$ = fact1: そのぷにゅぷやLv.39は用心深い fact2: もしこのぷちゅぷにょLv.60が有力視すればそれはめでたし fact3: 何らかのモンスターは愛しなら「それは塗り易い」ということは事実である fact4: このぴにょぴのLv.99は塗り易い fact5: このぴにょぴのLv.99は愛ししかつ用心深い fact6: もし仮にこのぴにょぴのLv.99が用心深いならばこのぷちゅぷにょLv.60は有力視する fact7: もしこのぷちゅぷにょLv.60がめでたしならばこのぷちゅぷにょLv.60は号泣する ; $hypothesis$ = このぷちゅぷにょLv.60は号泣するかもしくは塗り易い ; $proof$ = 
fact5 -> int1: このぴにょぴのLv.99は用心深い; int1 & fact6 -> int2: このぷちゅぷにょLv.60は有力視する; int2 & fact2 -> int3: このぷちゅぷにょLv.60はめでたし; int3 & fact7 -> int4: このぷちゅぷにょLv.60は号泣する; int4 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact2 -> int3: {D}{b}; int3 & fact7 -> int4: {E}{b}; int4 -> hypothesis; __PROVED__