以下のように仮定する。「このぴのぴにゃLv.73は聞こえ難い一方で成功し易くない」ということは嘘である
fact1: このぴのぴにゃLv.73は聞こえ難い fact2: このぴのぴにゃLv.73が聞こえ難くないとすればこのぴのぴにゃLv.73はプロらしい fact3: もしも「あるモンスターは聞こえ難いけど成功し易くない」ということは偽であるとすればプロらしい
fact3 -> int1: 「「このぴのぴにゃLv.73は聞こえ難いが成功し易くない」ということは確かだ」ということは偽であるとすればこのぴのぴにゃLv.73はプロらしい; void -> assump1: 以下のように仮定する。「このぴのぴにゃLv.73は聞こえ難い一方で成功し易くない」ということは嘘である; int1 & assump1 -> int2: このぴのぴにゃLv.73はプロらしい;
fact3 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; void -> assump1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: {B}{aa};
$facts$ = fact1: このぴのぴにゃLv.73は聞こえ難い fact2: このぴのぴにゃLv.73が聞こえ難くないとすればこのぴのぴにゃLv.73はプロらしい fact3: もしも「あるモンスターは聞こえ難いけど成功し易くない」ということは偽であるとすればプロらしい ; $hypothesis$ = 以下のように仮定する。「このぴのぴにゃLv.73は聞こえ難い一方で成功し易くない」ということは嘘である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__