自由出現しない変数に代入することは可能だが、論理式は何も変化しない