このもにゃもねLv.59は捗々しくない
fact1: そのみやみよLv.96が確認し易いとすればそのぽにゃぽやLv.59は目覚ましい fact2: もしこのもにゃもねLv.59が確認し易いならそのみやみよLv.96は捗々しい fact3: そのみやみよLv.96は確認し易いかまたは恥ずかしい fact4: もし仮にそのみやみよLv.96が恥ずかしいとすればそのぽにゃぽやLv.59は目覚ましい fact5: そのぽにゃぽやLv.59は言い出し難い fact6: もしそのぽにゃぽやLv.59が目覚ましくて加えてそれが言い出し難いとしたらこのもにゃもねLv.59は捗々しくない
fact3 & fact1 & fact4 -> int1: 「そのぽにゃぽやLv.59は目覚ましい」ということは本当だ; int1 & fact5 -> int2: そのぽにゃぽやLv.59は目覚ましいし加えて言い出し難い; int2 & fact6 -> hypothesis;
fact3 & fact1 & fact4 -> int1: {C}{c}; int1 & fact5 -> int2: ({C}{c} & {D}{c}); int2 & fact6 -> hypothesis;
$facts$ = fact1: そのみやみよLv.96が確認し易いとすればそのぽにゃぽやLv.59は目覚ましい fact2: もしこのもにゃもねLv.59が確認し易いならそのみやみよLv.96は捗々しい fact3: そのみやみよLv.96は確認し易いかまたは恥ずかしい fact4: もし仮にそのみやみよLv.96が恥ずかしいとすればそのぽにゃぽやLv.59は目覚ましい fact5: そのぽにゃぽやLv.59は言い出し難い fact6: もしそのぽにゃぽやLv.59が目覚ましくて加えてそれが言い出し難いとしたらこのもにゃもねLv.59は捗々しくない ; $hypothesis$ = このもにゃもねLv.59は捗々しくない ; $proof$ = 
fact3 & fact1 & fact4 -> int1: 「そのぽにゃぽやLv.59は目覚ましい」ということは本当だ; int1 & fact5 -> int2: そのぽにゃぽやLv.59は目覚ましいし加えて言い出し難い; int2 & fact6 -> hypothesis; __PROVED__
fact3 & fact1 & fact4 -> int1: {C}{c}; int1 & fact5 -> int2: ({C}{c} & {D}{c}); int2 & fact6 -> hypothesis; __PROVED__