All the water lilies bloom at night, and this lotus blossoms during the day, so this lotus is not a water lily.
very similar to the formal structure of the above reasoning?
All taxpayers have savings, and this girl has savings, so this girl is a taxpayer