REAL4D : REAL 4D Authentic Practical Logic In New Dimension