そのぷにょぷゆLv.73は塗り易い
fact1: もし「何らかのモンスターは覚え易いかそれは拡大・発展するかもしくはどちらもである」ということは誤っているとすればそれは塗り易くない fact2: もし仮に「拡大・発展する」モンスターがいればそのぷにょぷゆLv.73は危なっかしくない fact3: もし「「拡大・発展する」ということは事実である」モンスターがいればそのぷにょぷゆLv.73は危なっかしいということはないけど覚え易い fact4: そのぷにょぷゆLv.73は危なっかしくない fact5: そのみゆみわLv.64は危なっかしい fact6: 仮にそのぷにょぷゆLv.73が危なっかしくないけど覚え易いならそのぷにょぷゆLv.73は塗り易い fact7: もしこのぴくぴちゅLv.58は危なっかしくないとすれば「「そのぷにょぷゆLv.73は覚え易いかまたは拡大・発展するかあるいは両方だ」ということは間違っていない」ということは間違っている
そのぷにょぷゆLv.73は塗り易いということはない
fact8 -> int1: もし「そのぷにょぷゆLv.73は覚え易いか拡大・発展するかもしくはどちらもだ」ということは間違っているとしたらそのぷにょぷゆLv.73は塗り易いということはない;
$facts$ = fact1: もし「何らかのモンスターは覚え易いかそれは拡大・発展するかもしくはどちらもである」ということは誤っているとすればそれは塗り易くない fact2: もし仮に「拡大・発展する」モンスターがいればそのぷにょぷゆLv.73は危なっかしくない fact3: もし「「拡大・発展する」ということは事実である」モンスターがいればそのぷにょぷゆLv.73は危なっかしいということはないけど覚え易い fact4: そのぷにょぷゆLv.73は危なっかしくない fact5: そのみゆみわLv.64は危なっかしい fact6: 仮にそのぷにょぷゆLv.73が危なっかしくないけど覚え易いならそのぷにょぷゆLv.73は塗り易い fact7: もしこのぴくぴちゅLv.58は危なっかしくないとすれば「「そのぷにょぷゆLv.73は覚え易いかまたは拡大・発展するかあるいは両方だ」ということは間違っていない」ということは間違っている ; $hypothesis$ = そのぷにょぷゆLv.73は塗り易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__