そのぽにぽよLv.28は漏れ無い
fact1: 仮にそのぽにぽよLv.28が想像し易いとすればそのぽにぽよLv.28は漏れ無い fact2: もし仮にそのぽにぽよLv.28が親しみ易いとすればそのぽにぽよLv.28は想像し易い fact3: このもえもわLv.45は滞り易い fact4: もしこのもえもわLv.45が滞り易いとしたらそのぽにぽよLv.28は親しみ易い
fact4 & fact3 -> int1: そのぽにぽよLv.28は親しみ易い; int1 & fact2 -> int2: そのぽにぽよLv.28は想像し易い; int2 & fact1 -> hypothesis;
fact4 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮にそのぽにぽよLv.28が想像し易いとすればそのぽにぽよLv.28は漏れ無い fact2: もし仮にそのぽにぽよLv.28が親しみ易いとすればそのぽにぽよLv.28は想像し易い fact3: このもえもわLv.45は滞り易い fact4: もしこのもえもわLv.45が滞り易いとしたらそのぽにぽよLv.28は親しみ易い ; $hypothesis$ = そのぽにぽよLv.28は漏れ無い ; $proof$ = 
fact4 & fact3 -> int1: そのぽにぽよLv.28は親しみ易い; int1 & fact2 -> int2: そのぽにぽよLv.28は想像し易い; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__