そのぴなぴちゅLv.73はフランス人らしいということはないしまた形成し易くない
fact1: 全てのモンスターは狙われ易くない fact2: もしも「そのもねもよLv.97は飽きっぽくないが築き難い」ということは誤っているなら「そのぴなぴちゅLv.73はフランス人らしいということはない」ということは本当だ fact3: 絶え間無くないモンスターで加えて可視化しないモンスターはない fact4: それは飽きっぽいということはないけど築き難いというモンスターはない
fact4 -> int1: 「そのもねもよLv.97は飽きっぽくないモンスターでありかつ築き難い」ということは嘘である; int1 & fact2 -> int2: そのぴなぴちゅLv.73はフランス人らしくない;
fact4 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact2 -> int2: ¬{A}{a};
それは煮染めない一方で猛々しいというモンスターはない
fact5 -> int3: そのぴなぴちゅLv.73は狙われ易くない;
$facts$ = fact1: 全てのモンスターは狙われ易くない fact2: もしも「そのもねもよLv.97は飽きっぽくないが築き難い」ということは誤っているなら「そのぴなぴちゅLv.73はフランス人らしいということはない」ということは本当だ fact3: 絶え間無くないモンスターで加えて可視化しないモンスターはない fact4: それは飽きっぽいということはないけど築き難いというモンスターはない ; $hypothesis$ = そのぴなぴちゅLv.73はフランス人らしいということはないしまた形成し易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__