「あのぴにゃぴにゃLv.62は大成功するかもしくはそれは得難いかまたはどちらもだ」ということは成り立たない
fact1: もしも「とあるモンスターは得難い一方で大成功しない」ということは成り立たないならそれは表現し難い fact2: もし「何らかのモンスターは表現し難いが敵中深くない」ということは誤っているならそれは得難い fact3: 「あのぴにゃぴにゃLv.62は表現し難いけれどそれは敵中深くない」ということは間違いだ
fact2 -> int1: もし「あのぴにゃぴにゃLv.62は表現し難いけれど敵中深くない」ということは成り立たないならばそれは得難い; int1 & fact3 -> int2: あのぴにゃぴにゃLv.62は得難い; int2 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 -> hypothesis;
$facts$ = fact1: もしも「とあるモンスターは得難い一方で大成功しない」ということは成り立たないならそれは表現し難い fact2: もし「何らかのモンスターは表現し難いが敵中深くない」ということは誤っているならそれは得難い fact3: 「あのぴにゃぴにゃLv.62は表現し難いけれどそれは敵中深くない」ということは間違いだ ; $hypothesis$ = 「あのぴにゃぴにゃLv.62は大成功するかもしくはそれは得難いかまたはどちらもだ」ということは成り立たない ; $proof$ = 
fact2 -> int1: もし「あのぴにゃぴにゃLv.62は表現し難いけれど敵中深くない」ということは成り立たないならばそれは得難い; int1 & fact3 -> int2: あのぴにゃぴにゃLv.62は得難い; int2 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 -> hypothesis; __DISPROVED__