もしこのまわまにゅLv.9がむさいとするとそのぷちょぷやLv.22は肩入れする
fact1: もしそのぷちょぷやLv.22が男の子らしいとすればそれは埃っぽい fact2: 仮になんらかのモンスターはむさいなら「男の子らしい」ということは本当だ fact3: もしもこのまわまにゅLv.9がむさいとすればそのぷちょぷやLv.22は男の子らしい fact4: もしもそのぷちょぷやLv.22が埃っぽいとするとそのぷちょぷやLv.22は肩入れする
void -> assump1: 以下のように仮定する。このまわまにゅLv.9はむさい; fact3 & assump1 -> int1: そのぷちょぷやLv.22は男の子らしい; int1 & fact1 -> int2: そのぷちょぷやLv.22は埃っぽい; int2 & fact4 -> int3: そのぷちょぷやLv.22は肩入れする; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; [assump1] & int3 -> hypothesis;
そのぴちょぴちょLv.48は男の子らしい
fact5 -> int4: もし仮にそのぴちょぴちょLv.48がむさいとするとそれは男の子らしい;
$facts$ = fact1: もしそのぷちょぷやLv.22が男の子らしいとすればそれは埃っぽい fact2: 仮になんらかのモンスターはむさいなら「男の子らしい」ということは本当だ fact3: もしもこのまわまにゅLv.9がむさいとすればそのぷちょぷやLv.22は男の子らしい fact4: もしもそのぷちょぷやLv.22が埃っぽいとするとそのぷちょぷやLv.22は肩入れする ; $hypothesis$ = もしこのまわまにゅLv.9がむさいとするとそのぷちょぷやLv.22は肩入れする ; $proof$ = 
void -> assump1: 以下のように仮定する。このまわまにゅLv.9はむさい; fact3 & assump1 -> int1: そのぷちょぷやLv.22は男の子らしい; int1 & fact1 -> int2: そのぷちょぷやLv.22は埃っぽい; int2 & fact4 -> int3: そのぷちょぷやLv.22は肩入れする; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> int3: {D}{b}; [assump1] & int3 -> hypothesis; __PROVED__