このぽちゃぽゆLv.79は徒らっぽくないかまたは疚しくない
fact1: 仮に「このぴよぴにゅLv.28は物狂おしいということはない」ということは成り立つとすると「このぽちゃぽゆLv.79は徒らっぽくないかあるいは疚しくないかまたは両方である」ということは成り立たない fact2: 座り易いモンスターは流され易くない一方で再審査する fact3: そのもにゃもゆLv.77は賢しくないかもしくは流され易くないかまたは両方ともである fact4: そのもにゃもゆLv.77は徒らっぽい fact5: もしそのもにゃもゆLv.77が再審査しないならこのぴよぴにゅLv.28は座り易い fact6: 仮になにがしかのモンスターがすりゃ良いということはないとすると徒らっぽくないかあるいは疚しいということはないか両方である fact7: このぴよぴにゅLv.28は賢しい fact8: 「すりゃ良い」モンスターはいる fact9: もしもそのもにゃもゆLv.77が流され易くないとするとこのぴよぴにゅLv.28は座り易い fact10: 流され易くないモンスターであって再審査するモンスターはすりゃ良くない fact11: 仮にこのぴよぴにゅLv.28が賢しいしさらに座り易いならそれは物狂おしくない fact12: もし仮になにがしかのモンスターがすりゃ良いとするとそのもにゃもゆLv.77は再審査するということはないかあるいは流され易くない
fact8 & fact12 -> int1: そのもにゃもゆLv.77は再審査しないかあるいは流され易くないかまたは両方ともである; int1 & fact5 & fact9 -> int2: このぴよぴにゅLv.28は座り易い; int2 & fact7 -> int3: 「このぴよぴにゅLv.28は賢しくてかつ座り易い」ということは確かである; int3 & fact11 -> int4: このぴよぴにゅLv.28は物狂おしくない; int4 & fact1 -> hypothesis;
fact8 & fact12 -> int1: (¬{B}{a} v ¬{C}{a}); int1 & fact5 & fact9 -> int2: {D}{b}; int2 & fact7 -> int3: ({E}{b} & {D}{b}); int3 & fact11 -> int4: ¬{F}{b}; int4 & fact1 -> hypothesis;
このぽちゃぽゆLv.79は徒らっぽくないかまたは疚しくない
fact13 -> int5: 仮にこのぽちゃぽゆLv.79がすりゃ良くないとすればこのぽちゃぽゆLv.79は徒らっぽいということはないか疚しくないかあるいはどちらもだ; fact15 -> int6: もしもこのぽちゃぽゆLv.79は流され易いということはないが再審査するとするとそれはすりゃ良くない; fact14 -> int7: もしこのぽちゃぽゆLv.79が座り易いとすればこのぽちゃぽゆLv.79は流され易くないが再審査する;
$facts$ = fact1: 仮に「このぴよぴにゅLv.28は物狂おしいということはない」ということは成り立つとすると「このぽちゃぽゆLv.79は徒らっぽくないかあるいは疚しくないかまたは両方である」ということは成り立たない fact2: 座り易いモンスターは流され易くない一方で再審査する fact3: そのもにゃもゆLv.77は賢しくないかもしくは流され易くないかまたは両方ともである fact4: そのもにゃもゆLv.77は徒らっぽい fact5: もしそのもにゃもゆLv.77が再審査しないならこのぴよぴにゅLv.28は座り易い fact6: 仮になにがしかのモンスターがすりゃ良いということはないとすると徒らっぽくないかあるいは疚しいということはないか両方である fact7: このぴよぴにゅLv.28は賢しい fact8: 「すりゃ良い」モンスターはいる fact9: もしもそのもにゃもゆLv.77が流され易くないとするとこのぴよぴにゅLv.28は座り易い fact10: 流され易くないモンスターであって再審査するモンスターはすりゃ良くない fact11: 仮にこのぴよぴにゅLv.28が賢しいしさらに座り易いならそれは物狂おしくない fact12: もし仮になにがしかのモンスターがすりゃ良いとするとそのもにゃもゆLv.77は再審査するということはないかあるいは流され易くない ; $hypothesis$ = このぽちゃぽゆLv.79は徒らっぽくないかまたは疚しくない ; $proof$ = 
fact8 & fact12 -> int1: そのもにゃもゆLv.77は再審査しないかあるいは流され易くないかまたは両方ともである; int1 & fact5 & fact9 -> int2: このぴよぴにゅLv.28は座り易い; int2 & fact7 -> int3: 「このぴよぴにゅLv.28は賢しくてかつ座り易い」ということは確かである; int3 & fact11 -> int4: このぴよぴにゅLv.28は物狂おしくない; int4 & fact1 -> hypothesis; __DISPROVED__
fact8 & fact12 -> int1: (¬{B}{a} v ¬{C}{a}); int1 & fact5 & fact9 -> int2: {D}{b}; int2 & fact7 -> int3: ({E}{b} & {D}{b}); int3 & fact11 -> int4: ¬{F}{b}; int4 & fact1 -> hypothesis; __DISPROVED__