misses form a
     | likeness of the conclusion.  Take for example, the following
     | argument:
     |
     | M is, for instance, p1, p2, p3, and p4;
     | S is p1, p2, p3, and p4:
     | Therefore S is M.
     |
     | Here the first premiss amounts to this, that 'p1, p2, p3, and p4'
     | is a likeness of M, and thus the premisses are or represent a
     | likeness of the conclusion.  That it is different with induction
     | another example will show.
     |
     | s1, s2, s3, and s4 are taken as s