所有潜水艇都是水下船只，所有游艇都不是水下船只；所以所有游艇都不是潜水艇