このぴにょぴよLv.68は慈悲深いけれど辛くない
fact1: もし「「あるモンスターは慈悲深いが辛くない」ということは本当だ」ということは成り立たないとすると左右され易い fact2: もし「「なにがしかのモンスターは押さえ難くないし左右され易くない」ということは偽でない」ということは間違っているならそれは慈悲深くない
fact1 -> int1: もし仮に「このぴにょぴよLv.68は慈悲深いけれど辛くない」ということは偽であるならばこのぴにょぴよLv.68は左右され易い; void -> assump1: 以下のように仮定する。「このぴにょぴよLv.68は慈悲深いがそれは辛くない」ということは成り立たない; int1 & assump1 -> int2: このぴにょぴよLv.68は左右され易い;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; void -> assump1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: {B}{aa};
以下のように仮定する。「このぴにょぴよLv.68は慈悲深いがそれは辛くない」ということは成り立たない
fact3 -> int3: 仮に「あのみわみにゃLv.43は押さえ難くなくて左右され易くない」ということは嘘ならば「あのみわみにゃLv.43は慈悲深い」ということは誤りである;
$facts$ = fact1: もし「「あるモンスターは慈悲深いが辛くない」ということは本当だ」ということは成り立たないとすると左右され易い fact2: もし「「なにがしかのモンスターは押さえ難くないし左右され易くない」ということは偽でない」ということは間違っているならそれは慈悲深くない ; $hypothesis$ = このぴにょぴよLv.68は慈悲深いけれど辛くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__