+ * + = +
- * - = +
+ * - = -

これはおかしいので、等価な関係が
成り立つ体系を構築せよ。