An Investigation of ‘Teaching Machine’ Variables Using Learning Programs in Symbolic Logic