premise: the sun is a kind of yellow dwarf sent2: alpha mensae is a kind of main sequence star sent3: a yellow dwarf is a kind of main sequence star.
hypothesis: the formation of a new rock is a result of pressure squeezing sediments together