「「「遜色無くなくてまた気分転換するということはない」ということは間違いな」モンスターはいる」ということは成り立つということはない
fact1: 「「遜色無くないしそれに気分転換する」ということは成り立たない」モンスターはいる fact2: 「「あのぷえぷにLv.21は淵源するけど烏滸がましくない」ということは確かだ」ということは成り立たない fact3: 遜色無くないモンスターであって加えて気分転換しないモンスターはいる fact4: 仮に「なんらかのモンスターは白々しくなくてまた概観しない」ということは事実と異なるとしたら「遜色無くない」ということは正しい fact5: あのもにゅもにゅLv.91は概観する fact6: あのもにゅもにゅLv.91は烏滸がましくないとすると「遜色無くなくて気分転換しない」ということは成り立たない fact7: あのもにゅもにゅLv.91は烏滸がましくないとすると「遜色無いしおまけに気分転換するということはない」ということは誤りである fact8: あのもにゅもにゅLv.91は白々しい fact9: あのもにゅもにゅLv.91が無理無くないとすると烏滸がましいということはない fact10: あのもにゅもにゅLv.91が概観するしおまけに白々しいとしたらあのもにゅもにゅLv.91は無理無くない
fact5 & fact8 -> int1: あのもにゅもにゅLv.91は概観するし白々しい; int1 & fact10 -> int2: あのもにゅもにゅLv.91は無理無くない; int2 & fact9 -> int3: 「あのもにゅもにゅLv.91は烏滸がましいということはない」ということは真実である; int3 & fact6 -> int4: 「あのもにゅもにゅLv.91は遜色無くなくてそれは気分転換しない」ということは偽だ; int4 -> hypothesis;
fact5 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact10 -> int2: ¬{C}{a}; int2 & fact9 -> int3: ¬{D}{a}; int3 & fact6 -> int4: ¬(¬{E}{a} & ¬{F}{a}); int4 -> hypothesis;
このぴえぴにょLv.77は遜色無くない
fact11 -> int5: もし「このぴえぴにょLv.77は白々しくなくてまた概観しない」ということは成り立たないとするとこのぴえぴにょLv.77は遜色無くない;
$facts$ = fact1: 「「遜色無くないしそれに気分転換する」ということは成り立たない」モンスターはいる fact2: 「「あのぷえぷにLv.21は淵源するけど烏滸がましくない」ということは確かだ」ということは成り立たない fact3: 遜色無くないモンスターであって加えて気分転換しないモンスターはいる fact4: 仮に「なんらかのモンスターは白々しくなくてまた概観しない」ということは事実と異なるとしたら「遜色無くない」ということは正しい fact5: あのもにゅもにゅLv.91は概観する fact6: あのもにゅもにゅLv.91は烏滸がましくないとすると「遜色無くなくて気分転換しない」ということは成り立たない fact7: あのもにゅもにゅLv.91は烏滸がましくないとすると「遜色無いしおまけに気分転換するということはない」ということは誤りである fact8: あのもにゅもにゅLv.91は白々しい fact9: あのもにゅもにゅLv.91が無理無くないとすると烏滸がましいということはない fact10: あのもにゅもにゅLv.91が概観するしおまけに白々しいとしたらあのもにゅもにゅLv.91は無理無くない ; $hypothesis$ = 「「「遜色無くなくてまた気分転換するということはない」ということは間違いな」モンスターはいる」ということは成り立つということはない ; $proof$ = 
fact5 & fact8 -> int1: あのもにゅもにゅLv.91は概観するし白々しい; int1 & fact10 -> int2: あのもにゅもにゅLv.91は無理無くない; int2 & fact9 -> int3: 「あのもにゅもにゅLv.91は烏滸がましいということはない」ということは真実である; int3 & fact6 -> int4: 「あのもにゅもにゅLv.91は遜色無くなくてそれは気分転換しない」ということは偽だ; int4 -> hypothesis; __DISPROVED__
fact5 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact10 -> int2: ¬{C}{a}; int2 & fact9 -> int3: ¬{D}{a}; int3 & fact6 -> int4: ¬(¬{E}{a} & ¬{F}{a}); int4 -> hypothesis; __DISPROVED__