このぽいぽゆLv.41はタイトルらしいし加えて広がり易い
fact1: このぽいぽゆLv.41は広がり易い fact2: もし仮にこのみえみねLv.71は地中深いとすると「このぽいぽゆLv.41はタイトルらしい」ということは正しい fact3: もしもあのぴちゅぴやLv.95が恵み深いとすればこのみえみねLv.71は地中深い fact4: あのぴちゅぴやLv.95は薄ら寒いということはない fact5: もしも「あのぴちゅぴやLv.95は薄ら寒くない」ということは真実であるならばそれは設置すし加えて恵み深い
fact5 & fact4 -> int1: あのぴちゅぴやLv.95は設置すし加えて恵み深い; int1 -> int2: あのぴちゅぴやLv.95は恵み深い; int2 & fact3 -> int3: このみえみねLv.71は地中深い; int3 & fact2 -> int4: このぽいぽゆLv.41はタイトルらしい; int4 & fact1 -> hypothesis;
fact5 & fact4 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; int2 & fact3 -> int3: {B}{b}; int3 & fact2 -> int4: {C}{c}; int4 & fact1 -> hypothesis;
$facts$ = fact1: このぽいぽゆLv.41は広がり易い fact2: もし仮にこのみえみねLv.71は地中深いとすると「このぽいぽゆLv.41はタイトルらしい」ということは正しい fact3: もしもあのぴちゅぴやLv.95が恵み深いとすればこのみえみねLv.71は地中深い fact4: あのぴちゅぴやLv.95は薄ら寒いということはない fact5: もしも「あのぴちゅぴやLv.95は薄ら寒くない」ということは真実であるならばそれは設置すし加えて恵み深い ; $hypothesis$ = このぽいぽゆLv.41はタイトルらしいし加えて広がり易い ; $proof$ = 
fact5 & fact4 -> int1: あのぴちゅぴやLv.95は設置すし加えて恵み深い; int1 -> int2: あのぴちゅぴやLv.95は恵み深い; int2 & fact3 -> int3: このみえみねLv.71は地中深い; int3 & fact2 -> int4: このぽいぽゆLv.41はタイトルらしい; int4 & fact1 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; int2 & fact3 -> int3: {B}{b}; int3 & fact2 -> int4: {C}{c}; int4 & fact1 -> hypothesis; __PROVED__