Deductive reasoning is the mental process of drawing deductive inferences. An inference is deductively valid if its conclusion follows logically from its premises, i.e. it is impossible for the premises to be true and the conclusion to be false.
On July 14, 2015, at 11:49 UTC, it [New Horizons] flew 12,500 km (7,800 mi) above the surface of Pluto, which at the time was 34 AU from the Sun, making it the first spacecraft to explore the dwarf planet.