このぴよぴのLv.0は末恐ろしくない
fact1: そのまえまにょLv.62が規定し得るし生き辛いとしたらこのぴよぴのLv.0は末恐ろしくない fact2: そのまえまにょLv.62は生き辛い fact3: そのまえまにょLv.62は愚かしい fact4: そのまえまにょLv.62は愚かしいし加えてそれは規定し得る
fact4 -> int1: そのまえまにょLv.62は規定し得る; int1 & fact2 -> int2: そのまえまにょLv.62が規定し得るしその上生き辛い; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis;
$facts$ = fact1: そのまえまにょLv.62が規定し得るし生き辛いとしたらこのぴよぴのLv.0は末恐ろしくない fact2: そのまえまにょLv.62は生き辛い fact3: そのまえまにょLv.62は愚かしい fact4: そのまえまにょLv.62は愚かしいし加えてそれは規定し得る ; $hypothesis$ = このぴよぴのLv.0は末恐ろしくない ; $proof$ = 
fact4 -> int1: そのまえまにょLv.62は規定し得る; int1 & fact2 -> int2: そのまえまにょLv.62が規定し得るしその上生き辛い; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis; __PROVED__