We prove that any moonshine type vertex operator algebra generated by Ising vectors of $sigma$-type with its Griess algebra being in the list of Matsuo 2005, is simple, C_2 cofinite and rational.
