「把握し辛くてさらに空々しい」モンスターはいる
fact1: もしあのぴえぴにゅLv.47はちっこいとしたら「あのぴえぴにゅLv.47は把握し辛い」ということは成り立つ fact2: あのぴえぴにゅLv.47はちっこい fact3: あのぴえぴにゅLv.47は空々しい
fact1 & fact2 -> int1: 「あのぴえぴにゅLv.47は把握し辛い」ということは成り立つ; int1 & fact3 -> int2: あのぴえぴにゅLv.47は把握し辛いしその上空々しい; int2 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 -> hypothesis;
$facts$ = fact1: もしあのぴえぴにゅLv.47はちっこいとしたら「あのぴえぴにゅLv.47は把握し辛い」ということは成り立つ fact2: あのぴえぴにゅLv.47はちっこい fact3: あのぴえぴにゅLv.47は空々しい ; $hypothesis$ = 「把握し辛くてさらに空々しい」モンスターはいる ; $proof$ = 
fact1 & fact2 -> int1: 「あのぴえぴにゅLv.47は把握し辛い」ということは成り立つ; int1 & fact3 -> int2: あのぴえぴにゅLv.47は把握し辛いしその上空々しい; int2 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 -> hypothesis; __PROVED__