このぴいぴにLv.74は際どくない
fact1: 仮に「「捕らわれ易くて腹立たしいということはない」ということは成り立たない」モンスターがいるとすればこのまちょまにLv.84は捕らわれ易くない fact2: そのぴにゃぴねLv.79は保管出来る fact3: 仮にこのぴいぴにLv.74が愚かしくて際どいならそのぴにゃぴねLv.79は保管出来ない fact4: とあるモンスターが保管出来ないとしたら止む無くないしそれは愚かしい fact5: あのもちょもにLv.64は腹立たしいけれど捕らわれ易くない fact6: もし仮にそのぴにゃぴねLv.79が保管出来るしおまけに愚かしいならこのぴいぴにLv.74は際どくない fact7: もしも「腹立たしいけれど捕らわれ易くない」モンスターがいればあのもちょもにゅLv.27は止む無い fact8: 仮にあるモンスターが腹立たしいとすればそれは際どい fact9: もし仮にあのもちょもにゅLv.27が止む無いとしたらそのぴにゃぴねLv.79は愚かしい
fact5 -> int1: なんらかのモンスターは腹立たしいけどそれは捕らわれ易くない; int1 & fact7 -> int2: あのもちょもにゅLv.27は止む無い; int2 & fact9 -> int3: そのぴにゃぴねLv.79は愚かしい; int3 & fact2 -> int4: そのぴにゃぴねLv.79は保管出来るし愚かしい; int4 & fact6 -> hypothesis;
fact5 -> int1: (Ex): ({A}x & ¬{B}x); int1 & fact7 -> int2: {C}{a}; int2 & fact9 -> int3: {D}{b}; int3 & fact2 -> int4: ({E}{b} & {D}{b}); int4 & fact6 -> hypothesis;
このまちょまにLv.84は捕らわれ易くない
$facts$ = fact1: 仮に「「捕らわれ易くて腹立たしいということはない」ということは成り立たない」モンスターがいるとすればこのまちょまにLv.84は捕らわれ易くない fact2: そのぴにゃぴねLv.79は保管出来る fact3: 仮にこのぴいぴにLv.74が愚かしくて際どいならそのぴにゃぴねLv.79は保管出来ない fact4: とあるモンスターが保管出来ないとしたら止む無くないしそれは愚かしい fact5: あのもちょもにLv.64は腹立たしいけれど捕らわれ易くない fact6: もし仮にそのぴにゃぴねLv.79が保管出来るしおまけに愚かしいならこのぴいぴにLv.74は際どくない fact7: もしも「腹立たしいけれど捕らわれ易くない」モンスターがいればあのもちょもにゅLv.27は止む無い fact8: 仮にあるモンスターが腹立たしいとすればそれは際どい fact9: もし仮にあのもちょもにゅLv.27が止む無いとしたらそのぴにゃぴねLv.79は愚かしい ; $hypothesis$ = このぴいぴにLv.74は際どくない ; $proof$ = 
fact5 -> int1: なんらかのモンスターは腹立たしいけどそれは捕らわれ易くない; int1 & fact7 -> int2: あのもちょもにゅLv.27は止む無い; int2 & fact9 -> int3: そのぴにゃぴねLv.79は愚かしい; int3 & fact2 -> int4: そのぴにゃぴねLv.79は保管出来るし愚かしい; int4 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: (Ex): ({A}x & ¬{B}x); int1 & fact7 -> int2: {C}{a}; int2 & fact9 -> int3: {D}{b}; int3 & fact2 -> int4: ({E}{b} & {D}{b}); int4 & fact6 -> hypothesis; __PROVED__