このまねまいLv.92は女の子らしい
fact1: このまねまいLv.92は確定申告する fact2: このまねまいLv.92は押し易い fact3: もし仮にあるモンスターが口煩くないけれどそれが確定申告するとするとそれは女の子らしい fact4: このまねまいLv.92は口煩くないが確定申告する fact5: 引き起こし易くないモンスターが崩し易いということはないとするとそれは女の子らしいということはない fact6: もしこのまねまいLv.92は確定申告しない一方で危ないとしたら「「このまねまいLv.92は掛け易くない」ということは正しくない」ということは正しい
fact3 -> int1: もし仮にこのまねまいLv.92が口煩くないけど確定申告するならこのまねまいLv.92は女の子らしい; int1 & fact4 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact4 -> hypothesis;
このまねまいLv.92は女の子らしいということはない
fact7 -> int2: 仮にこのまねまいLv.92が引き起こし易くないしまたそれが崩し易くないとすると女の子らしくない;
$facts$ = fact1: このまねまいLv.92は確定申告する fact2: このまねまいLv.92は押し易い fact3: もし仮にあるモンスターが口煩くないけれどそれが確定申告するとするとそれは女の子らしい fact4: このまねまいLv.92は口煩くないが確定申告する fact5: 引き起こし易くないモンスターが崩し易いということはないとするとそれは女の子らしいということはない fact6: もしこのまねまいLv.92は確定申告しない一方で危ないとしたら「「このまねまいLv.92は掛け易くない」ということは正しくない」ということは正しい ; $hypothesis$ = このまねまいLv.92は女の子らしい ; $proof$ = 
fact3 -> int1: もし仮にこのまねまいLv.92が口煩くないけど確定申告するならこのまねまいLv.92は女の子らしい; int1 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact4 -> hypothesis; __PROVED__