このぴちゅぴにLv.68は刺し貫くがしかし薄ら寒くない
fact1: もし仮にとあるモンスターが持ち切れれば薄ら寒くない fact2: すべてのモンスターは胡散臭いということはない fact3: もしもこのもなもにょLv.63が胡散臭くないとするとあのぷのぷやLv.47は滑り易いし薄ら寒い fact4: そのまちゅまちゅLv.18は愛情深いがしかし持ち切れない fact5: このぴちゅぴにLv.68は持ち切れる fact6: もしこのぴちゅぴにLv.68が薄ら寒くないとしたらこのぴちゅぴにLv.68は刺し貫くがしかしそれは薄ら寒くない
fact1 -> int1: 仮にこのぴちゅぴにLv.68が持ち切れればそれは薄ら寒くない; int1 & fact5 -> int2: このぴちゅぴにLv.68は薄ら寒くない; int2 & fact6 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact5 -> int2: ¬{C}{aa}; int2 & fact6 -> hypothesis;
あのぷのぷやLv.47は滑り易いけどそれは刺し貫かない
fact7 -> int3: このもなもにょLv.63は胡散臭くない; fact8 & int3 -> int4: あのぷのぷやLv.47は滑り易いしかつ薄ら寒い; int4 -> int5: あのぷのぷやLv.47は滑り易い;
$facts$ = fact1: もし仮にとあるモンスターが持ち切れれば薄ら寒くない fact2: すべてのモンスターは胡散臭いということはない fact3: もしもこのもなもにょLv.63が胡散臭くないとするとあのぷのぷやLv.47は滑り易いし薄ら寒い fact4: そのまちゅまちゅLv.18は愛情深いがしかし持ち切れない fact5: このぴちゅぴにLv.68は持ち切れる fact6: もしこのぴちゅぴにLv.68が薄ら寒くないとしたらこのぴちゅぴにLv.68は刺し貫くがしかしそれは薄ら寒くない ; $hypothesis$ = このぴちゅぴにLv.68は刺し貫くがしかし薄ら寒くない ; $proof$ = 
fact1 -> int1: 仮にこのぴちゅぴにLv.68が持ち切れればそれは薄ら寒くない; int1 & fact5 -> int2: このぴちゅぴにLv.68は薄ら寒くない; int2 & fact6 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact5 -> int2: ¬{C}{aa}; int2 & fact6 -> hypothesis; __PROVED__