このぷちゅぷゆLv.11は生まれ易くない
fact1: もし「このぷちゅぷゆLv.11は理解し難くない」ということは成り立てばこのぴちゅぴにゅLv.76は生まれ易いし好もしい fact2: そのみにょみわLv.49は生まれ易い fact3: 仮に「なにがしかのモンスターは好もしいしそれは生まれ易い」ということは事実でないなら生まれ易くない fact4: もしこのぷちゅぷゆLv.11が好もしいならこのぷちゅぷゆLv.11は生まれ易い fact5: このぷちゅぷゆLv.11は好もしい fact6: 「なにがしかのモンスターは糞食らうしその上理解し難い」ということは嘘だとすれば理解し難くない
fact5 -> int1: このぷちゅぷゆLv.11は好もしい; int1 & fact4 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
このぷちゅぷゆLv.11は生まれ易くない
fact7 -> int2: もし仮に「このぷちゅぷゆLv.11は好もしくてさらに生まれ易い」ということは誤りだとすると生まれ易くない;
$facts$ = fact1: もし「このぷちゅぷゆLv.11は理解し難くない」ということは成り立てばこのぴちゅぴにゅLv.76は生まれ易いし好もしい fact2: そのみにょみわLv.49は生まれ易い fact3: 仮に「なにがしかのモンスターは好もしいしそれは生まれ易い」ということは事実でないなら生まれ易くない fact4: もしこのぷちゅぷゆLv.11が好もしいならこのぷちゅぷゆLv.11は生まれ易い fact5: このぷちゅぷゆLv.11は好もしい fact6: 「なにがしかのモンスターは糞食らうしその上理解し難い」ということは嘘だとすれば理解し難くない ; $hypothesis$ = このぷちゅぷゆLv.11は生まれ易くない ; $proof$ = 
fact5 -> int1: このぷちゅぷゆLv.11は好もしい; int1 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __DISPROVED__