あのみえみちゅLv.59は入り易くない
fact1: あのみえみちゅLv.59が実行し易くておまけに理解し易いならあのまえまちゅLv.13は実行し易くない fact2: あのみえみちゅLv.59は止む無いということはない fact3: あのみえみちゅLv.59は止む無いということはないがしかし汚らわしい fact4: もしもあのみえみちゅLv.59が汚らわしいか実行し易いとするとあのみえみちゅLv.59は入り易いということはない
fact3 -> int1: 「あのみえみちゅLv.59は汚らわしい」ということは嘘でない; int1 -> int2: あのみえみちゅLv.59は汚らわしいかそれは実行し易いかもしくは両方である; int2 & fact4 -> hypothesis;
fact3 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact4 -> hypothesis;
あのまえまちゅLv.13は止む無い
$facts$ = fact1: あのみえみちゅLv.59が実行し易くておまけに理解し易いならあのまえまちゅLv.13は実行し易くない fact2: あのみえみちゅLv.59は止む無いということはない fact3: あのみえみちゅLv.59は止む無いということはないがしかし汚らわしい fact4: もしもあのみえみちゅLv.59が汚らわしいか実行し易いとするとあのみえみちゅLv.59は入り易いということはない ; $hypothesis$ = あのみえみちゅLv.59は入り易くない ; $proof$ = 
fact3 -> int1: 「あのみえみちゅLv.59は汚らわしい」ということは嘘でない; int1 -> int2: あのみえみちゅLv.59は汚らわしいかそれは実行し易いかもしくは両方である; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact4 -> hypothesis; __PROVED__