このもゆもくLv.26はしがなくない
fact1: 仮になんらかのモンスターが吹き抜けるとすると見辛いということはないかあるいは見分け難いということはないかもしくは両方ともだ fact2: もしも何らかのモンスターがプロらしいとすればそれは進め易い fact3: このまわまえLv.5が進め易くて見辛いならこのもゆもくLv.26はしがなくない fact4: このまわまえLv.5はプロらしいしその上進め易い fact5: もし仮にこのまわまえLv.5が進め易くないとしたらこのもゆもくLv.26はしがないしプロらしい fact6: もし仮になんらかのモンスターがしがなくないとすればそれは見辛くてそれはプロらしい fact7: 「このまわまえLv.5は見辛い」ということは正しい fact8: もしそのぽにょぽにょLv.84が初々しくないとするとこのまわまえLv.5は吹き抜けるしおまけに伏す
fact4 -> int1: このまわまえLv.5は進め易い; int1 & fact7 -> int2: このまわまえLv.5は進め易いし見辛い; int2 & fact3 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact7 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis;
このもゆもくLv.26は進め易い
fact10 -> int3: 「もしこのまわまえLv.5がしがなくないならばこのまわまえLv.5は見辛いし更にそれはプロらしい」ということは成り立つ; fact9 -> int4: このもゆもくLv.26がプロらしいなら進め易い;
$facts$ = fact1: 仮になんらかのモンスターが吹き抜けるとすると見辛いということはないかあるいは見分け難いということはないかもしくは両方ともだ fact2: もしも何らかのモンスターがプロらしいとすればそれは進め易い fact3: このまわまえLv.5が進め易くて見辛いならこのもゆもくLv.26はしがなくない fact4: このまわまえLv.5はプロらしいしその上進め易い fact5: もし仮にこのまわまえLv.5が進め易くないとしたらこのもゆもくLv.26はしがないしプロらしい fact6: もし仮になんらかのモンスターがしがなくないとすればそれは見辛くてそれはプロらしい fact7: 「このまわまえLv.5は見辛い」ということは正しい fact8: もしそのぽにょぽにょLv.84が初々しくないとするとこのまわまえLv.5は吹き抜けるしおまけに伏す ; $hypothesis$ = このもゆもくLv.26はしがなくない ; $proof$ = 
fact4 -> int1: このまわまえLv.5は進め易い; int1 & fact7 -> int2: このまわまえLv.5は進め易いし見辛い; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact7 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis; __PROVED__