If All Pencils Are Pens And All Pens Are Tools,

If All Pencils Are Pens And All Pens Are Tools,