そのぷよぷちゅLv.66は出血し易い
fact1: もし仮にそのぷちゅぷやLv.24が出血し易いということはないけどなあいならばそのぷよぷちゅLv.66は出血し易くない fact2: そのぷちゅぷやLv.24がなあいならそのぷよぷちゅLv.66は出血し易い fact3: もしもこのぷやぷねLv.11はしがないということはないとすると「そのぴにゃぴにゃLv.65は酸っぱいけれど監督すらない」ということは成り立たない fact4: そのぷちゅぷやLv.24はなあい fact5: もし仮に「そのぴにゃぴにゃLv.65は酸っぱいがしかし監督すらない」ということは事実と異なるとしたらそのぷちゅぷやLv.24は監督すらない fact6: 仮に何らかのモンスターが監督すらないとしたら出血し易いということはないし更になあい
fact4 -> int1: そのぷちゅぷやLv.24はなあい; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
そのぷよぷちゅLv.66は出血し易くない
fact9 -> int2: そのぷちゅぷやLv.24が監督すらないとするとそれは出血し易くない一方でなあい;
$facts$ = fact1: もし仮にそのぷちゅぷやLv.24が出血し易いということはないけどなあいならばそのぷよぷちゅLv.66は出血し易くない fact2: そのぷちゅぷやLv.24がなあいならそのぷよぷちゅLv.66は出血し易い fact3: もしもこのぷやぷねLv.11はしがないということはないとすると「そのぴにゃぴにゃLv.65は酸っぱいけれど監督すらない」ということは成り立たない fact4: そのぷちゅぷやLv.24はなあい fact5: もし仮に「そのぴにゃぴにゃLv.65は酸っぱいがしかし監督すらない」ということは事実と異なるとしたらそのぷちゅぷやLv.24は監督すらない fact6: 仮に何らかのモンスターが監督すらないとしたら出血し易いということはないし更になあい ; $hypothesis$ = そのぷよぷちゅLv.66は出血し易い ; $proof$ = 
fact4 -> int1: そのぷちゅぷやLv.24はなあい; int1 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__