Some pins are nails. All nails are hammers I + A ⇒ I-type of Conclusion “Some pins are hammers.” All nails are hammers All hammers are needles. A + A ⇒ A-type of Conclusion “All nails are needles.” This is Conclusion II. Some pins are hammers All hammers are needles. I + A ⇒ I-type of Conclusion “Some pins are needles.”