Nine rules of logic