このぷなぷちゅLv.12は間断無い
fact1: 「そのぴちゃぴちゅLv.88はちらちらしないが望ましい」ということは嘘である fact2: もしもこのぽちゅぽわLv.23がやばいとしたらそれは再建出来る fact3: もしも「このぷなぷちゅLv.12は出血し易い」ということは事実であるとしたらそれは間断無い fact4: とあるモンスターは出血し易くないとすれば「し難くて更にそれは間断無い」ということは事実でない fact5: このぽちゅぽわLv.23は薄汚くて更に潔い fact6: もしも「「ちらちらしない一方で望ましい」ということは嘘である」モンスターがいるとしたらこのぷなぷちゅLv.12は出血し易い fact7: このぽちゅぽわLv.23はＯＢ臭くてそれにそれはやばい fact8: 仮になにがしかのモンスターは再建出来るし薄汚いとすれば「それは出血し易くない」ということは成り立つ
fact1 -> int1: 「「ちらちらしなくて更に望ましい」ということは事実と異なる」モンスターはいる; int1 & fact6 -> int2: このぷなぷちゅLv.12は出血し易い; int2 & fact3 -> hypothesis;
fact1 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact6 -> int2: {A}{a}; int2 & fact3 -> hypothesis;
このぷなぷちゅLv.12は間断無くない
fact12 -> int3: もしもこのぽちゅぽわLv.23は出血し易くないならば「このぽちゅぽわLv.23はし難くて間断無い」ということは偽である; fact13 -> int4: 仮にこのぽちゅぽわLv.23は再建出来るしかつ薄汚いならばそれは出血し易いということはない; fact10 -> int5: このぽちゅぽわLv.23はやばい; fact11 & int5 -> int6: このぽちゅぽわLv.23は再建出来る; fact9 -> int7: このぽちゅぽわLv.23は薄汚い; int6 & int7 -> int8: 「このぽちゅぽわLv.23は再建出来るし加えて薄汚い」ということは正しい; int4 & int8 -> int9: このぽちゅぽわLv.23は出血し易くない; int3 & int9 -> int10: 「このぽちゅぽわLv.23はし難いしまた間断無い」ということは成り立たない; int10 -> int11: 「「し難いしおまけに間断無い」ということは誤りである」モンスターはいる;
$facts$ = fact1: 「そのぴちゃぴちゅLv.88はちらちらしないが望ましい」ということは嘘である fact2: もしもこのぽちゅぽわLv.23がやばいとしたらそれは再建出来る fact3: もしも「このぷなぷちゅLv.12は出血し易い」ということは事実であるとしたらそれは間断無い fact4: とあるモンスターは出血し易くないとすれば「し難くて更にそれは間断無い」ということは事実でない fact5: このぽちゅぽわLv.23は薄汚くて更に潔い fact6: もしも「「ちらちらしない一方で望ましい」ということは嘘である」モンスターがいるとしたらこのぷなぷちゅLv.12は出血し易い fact7: このぽちゅぽわLv.23はＯＢ臭くてそれにそれはやばい fact8: 仮になにがしかのモンスターは再建出来るし薄汚いとすれば「それは出血し易くない」ということは成り立つ ; $hypothesis$ = このぷなぷちゅLv.12は間断無い ; $proof$ = 
fact1 -> int1: 「「ちらちらしなくて更に望ましい」ということは事実と異なる」モンスターはいる; int1 & fact6 -> int2: このぷなぷちゅLv.12は出血し易い; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact6 -> int2: {A}{a}; int2 & fact3 -> hypothesis; __PROVED__