このみくみわLv.11は可笑しない
fact1: 大差無くないモンスターは力強いけれど可笑しない fact2: もしも「「そのぴちゃぴよLv.65は回りくどいけど抗い難くない」ということは間違っている」ということは確かだとすればこのみくみわLv.11はぼやかさない fact3: このみくみわLv.11は力強い fact4: このぽちょぽちゅLv.19は可笑しない fact5: このみくみわLv.11は集まり易くないしさらに大差無くない
fact1 -> int1: もしもこのみくみわLv.11が大差無くないとしたらこのみくみわLv.11は力強いが可笑しない; fact5 -> int2: このみくみわLv.11は大差無くない; int1 & int2 -> int3: このみくみわLv.11は力強いけれど可笑しない; int3 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact5 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 -> hypothesis;
このみくみわLv.11はぼやかさないしかつ自分らしくない
$facts$ = fact1: 大差無くないモンスターは力強いけれど可笑しない fact2: もしも「「そのぴちゃぴよLv.65は回りくどいけど抗い難くない」ということは間違っている」ということは確かだとすればこのみくみわLv.11はぼやかさない fact3: このみくみわLv.11は力強い fact4: このぽちょぽちゅLv.19は可笑しない fact5: このみくみわLv.11は集まり易くないしさらに大差無くない ; $hypothesis$ = このみくみわLv.11は可笑しない ; $proof$ = 
fact1 -> int1: もしもこのみくみわLv.11が大差無くないとしたらこのみくみわLv.11は力強いが可笑しない; fact5 -> int2: このみくみわLv.11は大差無くない; int1 & int2 -> int3: このみくみわLv.11は力強いけれど可笑しない; int3 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact5 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 -> hypothesis; __PROVED__