premise: a yellow dwarf is a kind of main-sequence star sent2: the sun is a kind of yellow dwarf sent3: red giant stars are greater in volume than main sequence stars.
hypothesis: red giant stars are greater in volume than the sun