このぷにゃぷちゅLv.5は相対する
fact1: このぷにゃぷちゅLv.5は伸ばし易い fact2: そのぴやぴなLv.60は壊れ難いししかもみっとも可愛い fact3: 仮にこのぷにゃぷちゅLv.5が伸ばし易いとしたら情けない fact4: そのぷくぷにゃLv.6は情けない fact5: 仮にこのぷにゃぷちゅLv.5が情けないとすればそれは連想する fact6: もしなにがしかのモンスターが連想すればそれは伸ばし易い fact7: 仮になんらかのモンスターは壊れ難いとすると「情けない」ということは事実だ fact8: このぷにゃぷちゅLv.5が連想すれば相対する fact9: もし仮にそのぷくぷねLv.38が伸ばし易いということはないとすればこのぷにゃぷちゅLv.5は相対しない
fact3 & fact1 -> int1: このぷにゃぷちゅLv.5は情けない; int1 & fact5 -> int2: このぷにゃぷちゅLv.5は連想する; int2 & fact8 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact8 -> hypothesis;
このぷにゃぷちゅLv.5は相対しない
fact10 -> int3: もしもそのぴやぴなLv.60が壊れ難いとするとそれは情けない; fact12 -> int4: そのぴやぴなLv.60は壊れ難い; int3 & int4 -> int5: そのぴやぴなLv.60は情けない; int5 -> int6: 「情けない」モンスターはいる;
$facts$ = fact1: このぷにゃぷちゅLv.5は伸ばし易い fact2: そのぴやぴなLv.60は壊れ難いししかもみっとも可愛い fact3: 仮にこのぷにゃぷちゅLv.5が伸ばし易いとしたら情けない fact4: そのぷくぷにゃLv.6は情けない fact5: 仮にこのぷにゃぷちゅLv.5が情けないとすればそれは連想する fact6: もしなにがしかのモンスターが連想すればそれは伸ばし易い fact7: 仮になんらかのモンスターは壊れ難いとすると「情けない」ということは事実だ fact8: このぷにゃぷちゅLv.5が連想すれば相対する fact9: もし仮にそのぷくぷねLv.38が伸ばし易いということはないとすればこのぷにゃぷちゅLv.5は相対しない ; $hypothesis$ = このぷにゃぷちゅLv.5は相対する ; $proof$ = 
fact3 & fact1 -> int1: このぷにゃぷちゅLv.5は情けない; int1 & fact5 -> int2: このぷにゃぷちゅLv.5は連想する; int2 & fact8 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact8 -> hypothesis; __PROVED__