このまねまにゃLv.81は古めかしい
fact1: そのぷやぷちゅLv.56は消化し難い fact2: 「そのぷやぷちゅLv.56は気高しないけれど古めかしい」ということは成り立つということはない fact3: 消化し難いモンスターは安っぽくなくてそれに左右され易くない fact4: 仮にそのぷやぷちゅLv.56が消化し難いとすればこのまねまにゃLv.81は左右され易くないしまたしても良くない fact5: このまねまにゃLv.81が左右され易いということはなくてしても良くないとすると儚い fact6: もしもこのまねまにゃLv.81が消化し難いとしたらそのぷやぷちゅLv.56は儚くない fact7: もし仮にこのまねまにゃLv.81が消化し難いなら左右され易い fact8: そのぷやぷちゅLv.56は古めかしいということはないしさらにそれは酸くない fact9: このまねまにゃLv.81が儚いなら古めかしい
fact4 & fact1 -> int1: このまねまにゃLv.81は左右され易くないししても良くない; int1 & fact5 -> int2: このまねまにゃLv.81は儚い; int2 & fact9 -> hypothesis;
fact4 & fact1 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact5 -> int2: {B}{b}; int2 & fact9 -> hypothesis;
このまよまにょLv.66は安っぽいということはないし加えて左右され易くない
fact10 -> int3: もし「このまよまにょLv.66は消化し難い」ということは確かなら安っぽくなくてまた左右され易くない; fact11 -> int4: 「「気高しないがしかし古めかしい」ということは間違っている」モンスターはいる;
$facts$ = fact1: そのぷやぷちゅLv.56は消化し難い fact2: 「そのぷやぷちゅLv.56は気高しないけれど古めかしい」ということは成り立つということはない fact3: 消化し難いモンスターは安っぽくなくてそれに左右され易くない fact4: 仮にそのぷやぷちゅLv.56が消化し難いとすればこのまねまにゃLv.81は左右され易くないしまたしても良くない fact5: このまねまにゃLv.81が左右され易いということはなくてしても良くないとすると儚い fact6: もしもこのまねまにゃLv.81が消化し難いとしたらそのぷやぷちゅLv.56は儚くない fact7: もし仮にこのまねまにゃLv.81が消化し難いなら左右され易い fact8: そのぷやぷちゅLv.56は古めかしいということはないしさらにそれは酸くない fact9: このまねまにゃLv.81が儚いなら古めかしい ; $hypothesis$ = このまねまにゃLv.81は古めかしい ; $proof$ = 
fact4 & fact1 -> int1: このまねまにゃLv.81は左右され易くないししても良くない; int1 & fact5 -> int2: このまねまにゃLv.81は儚い; int2 & fact9 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact5 -> int2: {B}{b}; int2 & fact9 -> hypothesis; __PROVED__