あのぴゆぴちょLv.15は迂回するということはない
fact1: 全てのモンスターは嵩張らない fact2: もしもこのもにゅもゆLv.62が嵩張ればあのぴゆぴちょLv.15は迂回する fact3: 「仮にそのぴよぴのLv.81が湿気易くないならそのぴよぴのLv.81は打ち易いし目新しい」ということは成り立つ fact4: もしもそのまのまねLv.30が嵩張るならこのもにゅもゆLv.62は嵩張る fact5: あのぴゆぴちょLv.15が嵩張らない一方で極まり悪いならばあのぴゆぴちょLv.15は迂回しない fact6: あのぴゆぴちょLv.15は極まり悪い fact7: もし「なんらかのモンスターは打ち易い」ということは正しいとするとそれは嵩張るということはないか極まり悪くないか両方である fact8: 「このぷゆぷのLv.20は嵩張らない」ということは確かだ
fact1 -> int1: あのぴゆぴちょLv.15は嵩張らない; int1 & fact6 -> int2: あのぴゆぴちょLv.15は嵩張らないけど極まり悪い; int2 & fact5 -> hypothesis;
fact1 -> int1: ¬{A}{aa}; int1 & fact6 -> int2: (¬{A}{aa} & {B}{aa}); int2 & fact5 -> hypothesis;
そのぴよぴのLv.81は迂回しない
fact9 -> int3: もし仮にそのぴよぴのLv.81が打ち易いとすればそれは嵩張らないか極まり悪くないか両方だ;
$facts$ = fact1: 全てのモンスターは嵩張らない fact2: もしもこのもにゅもゆLv.62が嵩張ればあのぴゆぴちょLv.15は迂回する fact3: 「仮にそのぴよぴのLv.81が湿気易くないならそのぴよぴのLv.81は打ち易いし目新しい」ということは成り立つ fact4: もしもそのまのまねLv.30が嵩張るならこのもにゅもゆLv.62は嵩張る fact5: あのぴゆぴちょLv.15が嵩張らない一方で極まり悪いならばあのぴゆぴちょLv.15は迂回しない fact6: あのぴゆぴちょLv.15は極まり悪い fact7: もし「なんらかのモンスターは打ち易い」ということは正しいとするとそれは嵩張るということはないか極まり悪くないか両方である fact8: 「このぷゆぷのLv.20は嵩張らない」ということは確かだ ; $hypothesis$ = あのぴゆぴちょLv.15は迂回するということはない ; $proof$ = 
fact1 -> int1: あのぴゆぴちょLv.15は嵩張らない; int1 & fact6 -> int2: あのぴゆぴちょLv.15は嵩張らないけど極まり悪い; int2 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa}; int1 & fact6 -> int2: (¬{A}{aa} & {B}{aa}); int2 & fact5 -> hypothesis; __PROVED__