つまり、formula_7に含まれない条件は全て偽であるとされた。