そのまちょまちゅLv.83は成し難いということはない
fact1: もしもそのぷちょぷやLv.26が野暮ったいとしたらそのまちょまちゅLv.83は追求出来る fact2: そのぷちょぷやLv.26は追求出来る fact3: このもわものLv.85は成し難いしまたそれはエロい fact4: そのぷにゃぷにLv.92はきつい fact5: そのまちょまちゅLv.83は薄ら寒い fact6: 仮にそのぷにゃぷにLv.92がきついならばそのぷちょぷやLv.26は野暮ったい fact7: そのまちょまちゅLv.83が追求出来るしまたそれが薄ら寒いならばそのまちょまちゅLv.83は成し難くない
fact6 & fact4 -> int1: そのぷちょぷやLv.26は野暮ったい; int1 & fact1 -> int2: そのまちょまちゅLv.83は追求出来る; int2 & fact5 -> int3: そのまちょまちゅLv.83は追求出来るしその上薄ら寒い; int3 & fact7 -> hypothesis;
fact6 & fact4 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact5 -> int3: ({C}{c} & {D}{c}); int3 & fact7 -> hypothesis;
$facts$ = fact1: もしもそのぷちょぷやLv.26が野暮ったいとしたらそのまちょまちゅLv.83は追求出来る fact2: そのぷちょぷやLv.26は追求出来る fact3: このもわものLv.85は成し難いしまたそれはエロい fact4: そのぷにゃぷにLv.92はきつい fact5: そのまちょまちゅLv.83は薄ら寒い fact6: 仮にそのぷにゃぷにLv.92がきついならばそのぷちょぷやLv.26は野暮ったい fact7: そのまちょまちゅLv.83が追求出来るしまたそれが薄ら寒いならばそのまちょまちゅLv.83は成し難くない ; $hypothesis$ = そのまちょまちゅLv.83は成し難いということはない ; $proof$ = 
fact6 & fact4 -> int1: そのぷちょぷやLv.26は野暮ったい; int1 & fact1 -> int2: そのまちょまちゅLv.83は追求出来る; int2 & fact5 -> int3: そのまちょまちゅLv.83は追求出来るしその上薄ら寒い; int3 & fact7 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 & fact5 -> int3: ({C}{c} & {D}{c}); int3 & fact7 -> hypothesis; __PROVED__