「「「青っぽいけど程近くない」ということは真実でない」モンスターはいる」ということは成り立たない
fact1: あのぷねぷにゅLv.16は女らしい fact2: もしもあのぷねぷにゅLv.16は女らしいがしかし口煩くないとすると「あのみちょみにゅLv.79は有り難いということはない」ということは成り立つ fact3: もし仮にあのぷねぷにゅLv.16が女らしいがしかし青っぽくないとするとあのみちょみにゅLv.79は有り難いということはない fact4: もしあのみちょみにゅLv.79は有り難くないとすれば「あのみちょみにゅLv.79は青っぽいがしかし程近くない」ということは成り立たない fact5: あるモンスターは青っぽいが程近くない fact6: 「あのぷねぷにゅLv.16は有り難いけれど逃れ難くない」ということは本当である fact7: もしもあのみちょみにゅLv.79は有り難くないとしたら「青っぽいしまた程近い」ということは正しくない fact8: あのぷねぷにゅLv.16は女らしいがしかし口煩くない
fact2 & fact8 -> int1: 「あのみちょみにゅLv.79は有り難くない」ということは成り立つ; int1 & fact4 -> int2: 「あのみちょみにゅLv.79は青っぽい一方で程近くない」ということは間違っている; int2 -> hypothesis;
fact2 & fact8 -> int1: ¬{B}{b}; int1 & fact4 -> int2: ¬({A}{b} & ¬{C}{b}); int2 -> hypothesis;
$facts$ = fact1: あのぷねぷにゅLv.16は女らしい fact2: もしもあのぷねぷにゅLv.16は女らしいがしかし口煩くないとすると「あのみちょみにゅLv.79は有り難いということはない」ということは成り立つ fact3: もし仮にあのぷねぷにゅLv.16が女らしいがしかし青っぽくないとするとあのみちょみにゅLv.79は有り難いということはない fact4: もしあのみちょみにゅLv.79は有り難くないとすれば「あのみちょみにゅLv.79は青っぽいがしかし程近くない」ということは成り立たない fact5: あるモンスターは青っぽいが程近くない fact6: 「あのぷねぷにゅLv.16は有り難いけれど逃れ難くない」ということは本当である fact7: もしもあのみちょみにゅLv.79は有り難くないとしたら「青っぽいしまた程近い」ということは正しくない fact8: あのぷねぷにゅLv.16は女らしいがしかし口煩くない ; $hypothesis$ = 「「「青っぽいけど程近くない」ということは真実でない」モンスターはいる」ということは成り立たない ; $proof$ = 
fact2 & fact8 -> int1: 「あのみちょみにゅLv.79は有り難くない」ということは成り立つ; int1 & fact4 -> int2: 「あのみちょみにゅLv.79は青っぽい一方で程近くない」ということは間違っている; int2 -> hypothesis; __DISPROVED__
fact2 & fact8 -> int1: ¬{B}{b}; int1 & fact4 -> int2: ¬({A}{b} & ¬{C}{b}); int2 -> hypothesis; __DISPROVED__