「このぽにぽわLv.75は荒いがしかしそれは伝え難いということはない」ということは事実でない
fact1: 仮にあのみなみちゅLv.84は荒いということはないとしたら「このぽにぽわLv.75は荒い一方で伝え難いということはない」ということは嘘だ fact2: すべてのモンスターは渡欧しない fact3: 「あるモンスターは祈り為さる」ということは確かだとすればこのぽにぽわLv.75は荒い一方でそれは伝え難くない fact4: 「あのみなみちゅLv.84は吸収され易くておまけに浅黒い」ということは誤りだ fact5: 「仮に「なんらかのモンスターは吸収され易くてそれに浅黒い」ということは成り立つということはないとしたら「それは荒くない」ということは成り立つ」ということは正しい
fact5 -> int1: 「「あのみなみちゅLv.84は吸収され易いしおまけに浅黒い」ということは事実と異なる」ということは成り立つなら荒いということはない; int1 & fact4 -> int2: あのみなみちゅLv.84は荒くない; int2 & fact1 -> hypothesis;
fact5 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> int2: ¬{B}{aa}; int2 & fact1 -> hypothesis;
このぽにぽわLv.75は荒いがしかしそれは伝え難いということはない
fact7 -> int3: そのまねまねLv.16は渡欧するということはない;
$facts$ = fact1: 仮にあのみなみちゅLv.84は荒いということはないとしたら「このぽにぽわLv.75は荒い一方で伝え難いということはない」ということは嘘だ fact2: すべてのモンスターは渡欧しない fact3: 「あるモンスターは祈り為さる」ということは確かだとすればこのぽにぽわLv.75は荒い一方でそれは伝え難くない fact4: 「あのみなみちゅLv.84は吸収され易くておまけに浅黒い」ということは誤りだ fact5: 「仮に「なんらかのモンスターは吸収され易くてそれに浅黒い」ということは成り立つということはないとしたら「それは荒くない」ということは成り立つ」ということは正しい ; $hypothesis$ = 「このぽにぽわLv.75は荒いがしかしそれは伝え難いということはない」ということは事実でない ; $proof$ = 
fact5 -> int1: 「「あのみなみちゅLv.84は吸収され易いしおまけに浅黒い」ということは事実と異なる」ということは成り立つなら荒いということはない; int1 & fact4 -> int2: あのみなみちゅLv.84は荒くない; int2 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> int2: ¬{B}{aa}; int2 & fact1 -> hypothesis; __PROVED__