このまやまにゅLv.7は勇ましくない
fact1: そのぴくぴにLv.5は御濃いしかつ青し fact2: そのまねまなLv.56はしかつめらしい fact3: もしそのまねまなLv.56が思い出深いしその上それがしかつめらしいならばこのまやまにゅLv.7は勇ましくない fact4: そのぴくぴにLv.5が御濃いとしたらそのぴくぴにLv.5は混ぜ込む fact5: もしそのぴくぴにLv.5が混ぜ込めばそのまねまなLv.56は思い出深い
fact1 -> int1: そのぴくぴにLv.5は御濃い; int1 & fact4 -> int2: そのぴくぴにLv.5は混ぜ込む; int2 & fact5 -> int3: そのまねまなLv.56は思い出深い; int3 & fact2 -> int4: そのまねまなLv.56は思い出深くてそれはしかつめらしい; int4 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> int3: {D}{b}; int3 & fact2 -> int4: ({D}{b} & {E}{b}); int4 & fact3 -> hypothesis;
$facts$ = fact1: そのぴくぴにLv.5は御濃いしかつ青し fact2: そのまねまなLv.56はしかつめらしい fact3: もしそのまねまなLv.56が思い出深いしその上それがしかつめらしいならばこのまやまにゅLv.7は勇ましくない fact4: そのぴくぴにLv.5が御濃いとしたらそのぴくぴにLv.5は混ぜ込む fact5: もしそのぴくぴにLv.5が混ぜ込めばそのまねまなLv.56は思い出深い ; $hypothesis$ = このまやまにゅLv.7は勇ましくない ; $proof$ = 
fact1 -> int1: そのぴくぴにLv.5は御濃い; int1 & fact4 -> int2: そのぴくぴにLv.5は混ぜ込む; int2 & fact5 -> int3: そのまねまなLv.56は思い出深い; int3 & fact2 -> int4: そのまねまなLv.56は思い出深くてそれはしかつめらしい; int4 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> int3: {D}{b}; int3 & fact2 -> int4: ({D}{b} & {E}{b}); int4 & fact3 -> hypothesis; __PROVED__