あのみゆみにゅLv.24は鬱陶しくないがしかし一振りする
fact1: 「あのみゆみにゅLv.24は共鳴し易くない」ということは成り立つ fact2: なんらかのモンスターが薄明るくないとすれば不味くないし加えて来合わせる fact3: 共鳴し易くないモンスターは鬱陶しくないがしかし一振りする fact4: もしもなにがしかのモンスターは共鳴し易くないとしたら「それは一振りする」ということは本当だ
fact3 -> int1: 仮にあのみゆみにゅLv.24が共鳴し易くないとするとそれは鬱陶しくないしそれは一振りする; int1 & fact1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 「あのみゆみにゅLv.24は共鳴し易くない」ということは成り立つ fact2: なんらかのモンスターが薄明るくないとすれば不味くないし加えて来合わせる fact3: 共鳴し易くないモンスターは鬱陶しくないがしかし一振りする fact4: もしもなにがしかのモンスターは共鳴し易くないとしたら「それは一振りする」ということは本当だ ; $hypothesis$ = あのみゆみにゅLv.24は鬱陶しくないがしかし一振りする ; $proof$ = 
fact3 -> int1: 仮にあのみゆみにゅLv.24が共鳴し易くないとするとそれは鬱陶しくないしそれは一振りする; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis; __PROVED__