「そのぴねぴにゅLv.59は向け替える」ということは正しい
fact1: このみのみにゅLv.51は深い fact2: あのぷのぷなLv.45は引き難くてさらに熱っぽい fact3: もし深いモンスターでありさらに遡行するモンスターがいるとするとこのぷにぷちょLv.37は引き難い fact4: もしも「このみのみにゅLv.51は向け替えなくて加えて遡行するということはない」ということは真実だとすると「そのぴねぴにゅLv.59は向け替えない」ということは真実だ fact5: このみのみにゅLv.51は遡行する fact6: もしもそのぴねぴにゅLv.59が厚しならそのぴねぴにゅLv.59は向け替える fact7: このぷにぷちょLv.37が引き難いならばそのぴねぴにゅLv.59は厚し fact8: 「深い」モンスターはいる fact9: もしも「なにがしかのモンスターは引き難くないけど遡行する」ということは誤りなら引き難い
fact1 & fact5 -> int1: このみのみにゅLv.51は深いしそれに遡行する; int1 -> int2: 「深いし遡行する」モンスターはいる; int2 & fact3 -> int3: このぷにぷちょLv.37は引き難い; int3 & fact7 -> int4: そのぴねぴにゅLv.59は厚し; int4 & fact6 -> hypothesis;
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> int3: {C}{b}; int3 & fact7 -> int4: {D}{c}; int4 & fact6 -> hypothesis;
このまのまちゃLv.88は引き難い
fact10 -> int5: もし仮に「このまのまちゃLv.88は引き難くないけれど遡行する」ということは誤っているならこのまのまちゃLv.88は引き難い;
$facts$ = fact1: このみのみにゅLv.51は深い fact2: あのぷのぷなLv.45は引き難くてさらに熱っぽい fact3: もし深いモンスターでありさらに遡行するモンスターがいるとするとこのぷにぷちょLv.37は引き難い fact4: もしも「このみのみにゅLv.51は向け替えなくて加えて遡行するということはない」ということは真実だとすると「そのぴねぴにゅLv.59は向け替えない」ということは真実だ fact5: このみのみにゅLv.51は遡行する fact6: もしもそのぴねぴにゅLv.59が厚しならそのぴねぴにゅLv.59は向け替える fact7: このぷにぷちょLv.37が引き難いならばそのぴねぴにゅLv.59は厚し fact8: 「深い」モンスターはいる fact9: もしも「なにがしかのモンスターは引き難くないけど遡行する」ということは誤りなら引き難い ; $hypothesis$ = 「そのぴねぴにゅLv.59は向け替える」ということは正しい ; $proof$ = 
fact1 & fact5 -> int1: このみのみにゅLv.51は深いしそれに遡行する; int1 -> int2: 「深いし遡行する」モンスターはいる; int2 & fact3 -> int3: このぷにぷちょLv.37は引き難い; int3 & fact7 -> int4: そのぴねぴにゅLv.59は厚し; int4 & fact6 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> int3: {C}{b}; int3 & fact7 -> int4: {D}{c}; int4 & fact6 -> hypothesis; __PROVED__