「このぽにゅぽわLv.14はぶっといし更に嫌らしい」ということは成り立たない
fact1: もし「あのもえもにょLv.55は瑞々しい」ということは成り立てばあのみのみくLv.86は瑞々しい fact2: 「あのぴにぴにLv.67は名高いということはない」ということは確かである fact3: あのみえみにゅLv.61は嫌らしくないとしたら「このぽにゅぽわLv.14はぶっといしおまけに嫌らしい」ということは成り立つということはない fact4: もしも「あのみのみくLv.86は瑞々しい」ということは本当であるならば「あのみえみにゅLv.61は臨めないししかも名高くない」ということは誤りだ fact5: 名高くないモンスターはぶっといしかつ嫌らしい fact6: 仮にとあるモンスターは名高くないとすると「それは出入りし易くてまた疑り深い」ということは成り立たない fact7: 「「出入りし易いし更に疑り深い」ということは成り立たない」モンスターがいればあのみえみにゅLv.61は嫌らしいということはない
fact6 -> int1: もしもあのぴにぴにLv.67は名高くないとすれば「それは出入りし易いししかも疑り深い」ということは成り立たない; int1 & fact2 -> int2: 「あのぴにぴにLv.67は出入りし易くて疑り深い」ということは成り立たない; int2 -> int3: 「「出入りし易いしまた疑り深い」ということは間違いな」モンスターはいる; int3 & fact7 -> int4: あのみえみにゅLv.61は嫌らしくない; int4 & fact3 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: ¬({AA}{aa} & {AB}{aa}); int2 -> int3: (Ex): ¬({AA}x & {AB}x); int3 & fact7 -> int4: ¬{B}{a}; int4 & fact3 -> hypothesis;
このぽにゅぽわLv.14はぶっといしさらに嫌らしい
fact8 -> int5: もしこのぽにゅぽわLv.14が名高くないとしたらぶっといしそれに嫌らしい;
$facts$ = fact1: もし「あのもえもにょLv.55は瑞々しい」ということは成り立てばあのみのみくLv.86は瑞々しい fact2: 「あのぴにぴにLv.67は名高いということはない」ということは確かである fact3: あのみえみにゅLv.61は嫌らしくないとしたら「このぽにゅぽわLv.14はぶっといしおまけに嫌らしい」ということは成り立つということはない fact4: もしも「あのみのみくLv.86は瑞々しい」ということは本当であるならば「あのみえみにゅLv.61は臨めないししかも名高くない」ということは誤りだ fact5: 名高くないモンスターはぶっといしかつ嫌らしい fact6: 仮にとあるモンスターは名高くないとすると「それは出入りし易くてまた疑り深い」ということは成り立たない fact7: 「「出入りし易いし更に疑り深い」ということは成り立たない」モンスターがいればあのみえみにゅLv.61は嫌らしいということはない ; $hypothesis$ = 「このぽにゅぽわLv.14はぶっといし更に嫌らしい」ということは成り立たない ; $proof$ = 
fact6 -> int1: もしもあのぴにぴにLv.67は名高くないとすれば「それは出入りし易いししかも疑り深い」ということは成り立たない; int1 & fact2 -> int2: 「あのぴにぴにLv.67は出入りし易くて疑り深い」ということは成り立たない; int2 -> int3: 「「出入りし易いしまた疑り深い」ということは間違いな」モンスターはいる; int3 & fact7 -> int4: あのみえみにゅLv.61は嫌らしくない; int4 & fact3 -> hypothesis; __PROVED__
fact6 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: ¬({AA}{aa} & {AB}{aa}); int2 -> int3: (Ex): ¬({AA}x & {AB}x); int3 & fact7 -> int4: ¬{B}{a}; int4 & fact3 -> hypothesis; __PROVED__