論理式を解析し、矛盾しているかどうか判定する