あのみのみちょLv.62は男の子らしくない
fact1: そのぷちょぷえLv.84が名残惜しいとしたら密告しなくてかつ動き難くない fact2: このまいまにゃLv.16は慎ましくないしそれはエッチするということはない fact3: 仮に「何らかのモンスターは動き難くて男の子らしい」ということは成り立たないとすると「男の子らしくない」ということは本当である fact4: もしなにがしかのモンスターは密告しないなら「それは動き難いししかも男の子らしい」ということは間違いである fact5: もし仮に「動き難くない」モンスターがいるとしたらあのみのみちょLv.62は男の子らしくない fact6: 慎ましいということはないモンスターでしかもエッチしないモンスターは動き難くない
fact6 -> int1: もしもこのまいまにゃLv.16が慎ましくないしそれにエッチしないとしたら動き難くない; int1 & fact2 -> int2: このまいまにゃLv.16は動き難いということはない; int2 -> int3: 「動き難くない」モンスターはいる; int3 & fact5 -> hypothesis;
fact6 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 -> int3: (Ex): ¬{B}x; int3 & fact5 -> hypothesis;
「あのみのみちょLv.62は男の子らしい」ということは正しい
$facts$ = fact1: そのぷちょぷえLv.84が名残惜しいとしたら密告しなくてかつ動き難くない fact2: このまいまにゃLv.16は慎ましくないしそれはエッチするということはない fact3: 仮に「何らかのモンスターは動き難くて男の子らしい」ということは成り立たないとすると「男の子らしくない」ということは本当である fact4: もしなにがしかのモンスターは密告しないなら「それは動き難いししかも男の子らしい」ということは間違いである fact5: もし仮に「動き難くない」モンスターがいるとしたらあのみのみちょLv.62は男の子らしくない fact6: 慎ましいということはないモンスターでしかもエッチしないモンスターは動き難くない ; $hypothesis$ = あのみのみちょLv.62は男の子らしくない ; $proof$ = 
fact6 -> int1: もしもこのまいまにゃLv.16が慎ましくないしそれにエッチしないとしたら動き難くない; int1 & fact2 -> int2: このまいまにゃLv.16は動き難いということはない; int2 -> int3: 「動き難くない」モンスターはいる; int3 & fact5 -> hypothesis; __PROVED__
fact6 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 -> int3: (Ex): ¬{B}x; int3 & fact5 -> hypothesis; __PROVED__