あのぷなぷわLv.80は厳めしいということはない
fact1: あのぷなぷわLv.80が交代するし失望するならあのぷなぷわLv.80は厳めしかない fact2: もし「なにがしかのモンスターは手堅いけど交代しない」ということは誤りだとすればそれは交代する fact3: あのぷなぷわLv.80は邪魔臭い fact4: もし仮にこのもわもやLv.15は交代すれば「あのぷなぷわLv.80は邪魔臭い」ということは成り立つ fact5: あのぷなぷわLv.80は見易いしまた邪魔臭い fact6: あのぷなぷわLv.80は失望する fact7: もし仮にとあるモンスターは手堅いとしたら「それは交代するが失望しない」ということは成り立つということはない
あのぷなぷわLv.80は厳めしい
fact9 -> int1: 仮に「「このもわもやLv.15は手堅いが交代しない」ということは正しい」ということは嘘だとしたら「交代する」ということは確かだ;
$facts$ = fact1: あのぷなぷわLv.80が交代するし失望するならあのぷなぷわLv.80は厳めしかない fact2: もし「なにがしかのモンスターは手堅いけど交代しない」ということは誤りだとすればそれは交代する fact3: あのぷなぷわLv.80は邪魔臭い fact4: もし仮にこのもわもやLv.15は交代すれば「あのぷなぷわLv.80は邪魔臭い」ということは成り立つ fact5: あのぷなぷわLv.80は見易いしまた邪魔臭い fact6: あのぷなぷわLv.80は失望する fact7: もし仮にとあるモンスターは手堅いとしたら「それは交代するが失望しない」ということは成り立つということはない ; $hypothesis$ = あのぷなぷわLv.80は厳めしいということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__