all that can be validly inferred is some p are s