There are various undefined terms in the given postulates.
The given postulates are consistent because they refer to two different situations. Also, it is impossible to deduce any statement that contradicts any well known axiom
and postulate. These postulates do not follow from Euclid's postulates. They follow from the axiom, "Given two distinct points, there is a unique line that passes through them".