「あのぷにゅぷくLv.99は阿るがそれは呪わしくない」ということは偽である
fact1: 「そのぷちゅぷちょLv.75は薄明るくないがそれは名高い」ということは成り立たない fact2: もしそのぷちゅぷちょLv.75は呪わしいということはないとすれば「あのぷにゅぷくLv.99は阿るけど呪わしくない」ということは間違いである fact3: 「あのみちゅみなLv.71は提示する」ということは偽である fact4: 「そのぷちゅぷちょLv.75は薄明るくないししかも名高くない」ということは成り立たないならば「そのぷちゅぷちょLv.75は呪わしくない」ということは本当だ fact5: もしも何らかのモンスターが提示しないならば阿るけど呪わしくない fact6: あのみちゅみなLv.71は提示しないとすれば「そのぷちゅぷちょLv.75は薄明るくなくて加えてそれは名高くない」ということは間違いだ
fact6 & fact3 -> int1: 「そのぷちゅぷちょLv.75は薄明るくなくてかつそれは名高くない」ということは事実と異なる; int1 & fact4 -> int2: そのぷちゅぷちょLv.75は呪わしくない; int2 & fact2 -> hypothesis;
fact6 & fact3 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact4 -> int2: ¬{B}{b}; int2 & fact2 -> hypothesis;
あのぷにゅぷくLv.99は阿る一方で呪わしいということはない
fact7 -> int3: 仮にあのぷにゅぷくLv.99が提示しないとするとあのぷにゅぷくLv.99は阿るがしかし呪わしくない;
$facts$ = fact1: 「そのぷちゅぷちょLv.75は薄明るくないがそれは名高い」ということは成り立たない fact2: もしそのぷちゅぷちょLv.75は呪わしいということはないとすれば「あのぷにゅぷくLv.99は阿るけど呪わしくない」ということは間違いである fact3: 「あのみちゅみなLv.71は提示する」ということは偽である fact4: 「そのぷちゅぷちょLv.75は薄明るくないししかも名高くない」ということは成り立たないならば「そのぷちゅぷちょLv.75は呪わしくない」ということは本当だ fact5: もしも何らかのモンスターが提示しないならば阿るけど呪わしくない fact6: あのみちゅみなLv.71は提示しないとすれば「そのぷちゅぷちょLv.75は薄明るくなくて加えてそれは名高くない」ということは間違いだ ; $hypothesis$ = 「あのぷにゅぷくLv.99は阿るがそれは呪わしくない」ということは偽である ; $proof$ = 
fact6 & fact3 -> int1: 「そのぷちゅぷちょLv.75は薄明るくなくてかつそれは名高くない」ということは事実と異なる; int1 & fact4 -> int2: そのぷちゅぷちょLv.75は呪わしくない; int2 & fact2 -> hypothesis; __PROVED__
fact6 & fact3 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact4 -> int2: ¬{B}{b}; int2 & fact2 -> hypothesis; __PROVED__