Acientists detected channels or gullies on the surface of mars, and deduced that there may have been water there. This kind of claim uses what kind of inference?.