このぴにゅぴねLv.44は利用され易くない
fact1: このぴにゅぴねLv.44は利き難い fact2: あのみにゅみえLv.1は性分らしい fact3: もし仮にこのぴにゅぴねLv.44が利き難いしおまけにそれが手広いとすれば利用され易くない fact4: もしもあのみにゅみえLv.1は性分らしいならば「このぴにゅぴねLv.44は手広い」ということは誤りでない fact5: もし「あのみにゅみえLv.1は利き難くないかもしくはそれは取り出し易くない」ということは間違いであるならばそのぷちょぷよLv.28は利き難くない fact6: 利き難くないモンスターは手広くてそれに性分らしい
fact4 & fact2 -> int1: 「「このぴにゅぴねLv.44は手広くない」ということは確かだ」ということは誤りである; int1 & fact1 -> int2: このぴにゅぴねLv.44は利き難いし更に手広い; int2 & fact3 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; int1 & fact1 -> int2: ({C}{b} & {B}{b}); int2 & fact3 -> hypothesis;
「そのぷちょぷよLv.28は手広い」ということは真実だ
fact7 -> int3: もし仮にそのぷちょぷよLv.28が利き難いということはないとするとそのぷちょぷよLv.28は手広いしその上性分らしい;
$facts$ = fact1: このぴにゅぴねLv.44は利き難い fact2: あのみにゅみえLv.1は性分らしい fact3: もし仮にこのぴにゅぴねLv.44が利き難いしおまけにそれが手広いとすれば利用され易くない fact4: もしもあのみにゅみえLv.1は性分らしいならば「このぴにゅぴねLv.44は手広い」ということは誤りでない fact5: もし「あのみにゅみえLv.1は利き難くないかもしくはそれは取り出し易くない」ということは間違いであるならばそのぷちょぷよLv.28は利き難くない fact6: 利き難くないモンスターは手広くてそれに性分らしい ; $hypothesis$ = このぴにゅぴねLv.44は利用され易くない ; $proof$ = 
fact4 & fact2 -> int1: 「「このぴにゅぴねLv.44は手広くない」ということは確かだ」ということは誤りである; int1 & fact1 -> int2: このぴにゅぴねLv.44は利き難いし更に手広い; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}{b}; int1 & fact1 -> int2: ({C}{b} & {B}{b}); int2 & fact3 -> hypothesis; __PROVED__