このぷやぷちゅLv.56は滲炭する
fact1: このぷやぷちゅLv.56は進み易い fact2: 仮にこのぷやぷちゅLv.56が得ればそれは滲炭する fact3: 何らかのモンスターが見辛くないとしたら進み易いか滲炭する fact4: もし仮にこのぷやぷちゅLv.56が進み易いとしたらこのぷやぷちゅLv.56は得
fact4 & fact1 -> int1: このぷやぷちゅLv.56は得; int1 & fact2 -> hypothesis;
fact4 & fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
あのぷくぷねLv.29は得
fact5 -> int2: 仮にこのぷやぷちゅLv.56が見辛くないならこのぷやぷちゅLv.56は進み易いかまたは滲炭する;
$facts$ = fact1: このぷやぷちゅLv.56は進み易い fact2: 仮にこのぷやぷちゅLv.56が得ればそれは滲炭する fact3: 何らかのモンスターが見辛くないとしたら進み易いか滲炭する fact4: もし仮にこのぷやぷちゅLv.56が進み易いとしたらこのぷやぷちゅLv.56は得 ; $hypothesis$ = このぷやぷちゅLv.56は滲炭する ; $proof$ = 
fact4 & fact1 -> int1: このぷやぷちゅLv.56は得; int1 & fact2 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __PROVED__