このまにまやLv.78は聞き辛くない
fact1: もしもあのもえものLv.4が聞き辛いならばこのまにまやLv.78は聞き辛い fact2: もしもこのまにまやLv.78が懐かししまたそれが戻し易いならこのまにまやLv.78は聞き辛くない fact3: もし仮になんらかのモンスターは空恐ろしくないとすれば「戻し易いしおまけに発色する」ということは事実と異なる fact4: このまにまやLv.78は戻し易い fact5: 仮にあのもえものLv.4が懐かしないとすればそれは聞き辛い fact6: 後ろ暗いモンスターは有るらしくないかまたは空恐ろしくないかまたはどちらもだ
このまにまやLv.78は聞き辛い
fact9 -> int1: もし仮にあのもえものLv.4は空恐ろしくないとすれば「あのもえものLv.4は戻し易いし発色する」ということは誤りである; fact10 -> int2: もし「そのぷいぷにゅLv.11は後ろ暗い」ということは事実と異ならないとしたらそれは有るらしいということはないかあるいは空恐ろしくないかどちらもだ;
$facts$ = fact1: もしもあのもえものLv.4が聞き辛いならばこのまにまやLv.78は聞き辛い fact2: もしもこのまにまやLv.78が懐かししまたそれが戻し易いならこのまにまやLv.78は聞き辛くない fact3: もし仮になんらかのモンスターは空恐ろしくないとすれば「戻し易いしおまけに発色する」ということは事実と異なる fact4: このまにまやLv.78は戻し易い fact5: 仮にあのもえものLv.4が懐かしないとすればそれは聞き辛い fact6: 後ろ暗いモンスターは有るらしくないかまたは空恐ろしくないかまたはどちらもだ ; $hypothesis$ = このまにまやLv.78は聞き辛くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__