Comment by davorb

I don't think this follows. What you are saying is basically "All Bs must be a subset of A. Therefore dogs like the sun."