あのもくもちゅLv.80はこそばゆいか私らしいかまたは両方だ
fact1: もし仮に「あのぴえぴよLv.93は仕事らしい」ということは本当であるとすればそれは来辛い fact2: あのぴえぴよLv.93が選択し易いならあのもくもちゅLv.80は私らしい fact3: もしもあのもくもちゅLv.80が選択し易くないとすればあのぴえぴよLv.93は移り難いし加えて来辛い fact4: とあるモンスターは来辛くないとしたら「こそばゆいかあるいは私らしいかまたはどちらもである」ということは正しいということはない fact5: もし仮になにがしかのモンスターは選択し易くないとしたら「来辛いけど仕事らしいということはない」ということは誤りだ fact6: このぽにぽにLv.55は私らしい fact7: 「あのぴえぴよLv.93は仕事らしい」ということは正しい
fact1 & fact7 -> int1: あのぴえぴよLv.93は来辛い;
fact1 & fact7 -> int1: {A}{a};
「あのもくもちゅLv.80はこそばゆいかまたはそれは私らしいかまたは両方ともだ」ということは誤りである
fact9 -> int2: 仮にあのぴえぴよLv.93は来辛くないとすれば「それはこそばゆいかそれは私らしいかもしくはどちらもである」ということは嘘である; fact8 -> int3: もし仮にあのぴえぴよLv.93は選択し易くないならば「来辛いモンスターで仕事らしくない」ということは偽である;
$facts$ = fact1: もし仮に「あのぴえぴよLv.93は仕事らしい」ということは本当であるとすればそれは来辛い fact2: あのぴえぴよLv.93が選択し易いならあのもくもちゅLv.80は私らしい fact3: もしもあのもくもちゅLv.80が選択し易くないとすればあのぴえぴよLv.93は移り難いし加えて来辛い fact4: とあるモンスターは来辛くないとしたら「こそばゆいかあるいは私らしいかまたはどちらもである」ということは正しいということはない fact5: もし仮になにがしかのモンスターは選択し易くないとしたら「来辛いけど仕事らしいということはない」ということは誤りだ fact6: このぽにぽにLv.55は私らしい fact7: 「あのぴえぴよLv.93は仕事らしい」ということは正しい ; $hypothesis$ = あのもくもちゅLv.80はこそばゆいか私らしいかまたは両方だ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__