このぴいぴなLv.30は擽ったくないか切り離し難くないかあるいはどちらもである
fact1: もしこのぴいぴなLv.30は男らしくないとしたら「このぴいぴなLv.30は擽ったくないか切り離し難くないか両方ともだ」ということは誤りだ fact2: 仮にこのぴいぴなLv.30が割れ易いとすればそれは貶さなくておまけに男らしくない fact3: 「もし仮になにがしかのモンスターが解除出来ないならば擽ったくなくてしかも割れ易くない」ということは本当である fact4: このぴいぴなLv.30は割れ易い fact5: このぴいぴなLv.30は切り離し難い
fact2 & fact4 -> int1: このぴいぴなLv.30は貶さないし男らしくない; int1 -> int2: このぴいぴなLv.30は男らしくない; int2 & fact1 -> hypothesis;
fact2 & fact4 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 -> int2: ¬{AB}{a}; int2 & fact1 -> hypothesis;
このぴいぴなLv.30は擽ったくないか切り離し難くないかあるいはどちらもである
fact6 -> int3: もし「このぴいぴなLv.30は解除出来ない」ということは間違っていないとしたらこのぴいぴなLv.30は擽ったくなくてまたそれは割れ易くない;
$facts$ = fact1: もしこのぴいぴなLv.30は男らしくないとしたら「このぴいぴなLv.30は擽ったくないか切り離し難くないか両方ともだ」ということは誤りだ fact2: 仮にこのぴいぴなLv.30が割れ易いとすればそれは貶さなくておまけに男らしくない fact3: 「もし仮になにがしかのモンスターが解除出来ないならば擽ったくなくてしかも割れ易くない」ということは本当である fact4: このぴいぴなLv.30は割れ易い fact5: このぴいぴなLv.30は切り離し難い ; $hypothesis$ = このぴいぴなLv.30は擽ったくないか切り離し難くないかあるいはどちらもである ; $proof$ = 
fact2 & fact4 -> int1: このぴいぴなLv.30は貶さないし男らしくない; int1 -> int2: このぴいぴなLv.30は男らしくない; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 -> int2: ¬{AB}{a}; int2 & fact1 -> hypothesis; __DISPROVED__