All the water lilies are opened at night, this lotus is opened during the day, so this lotus is not a water lily. The formal structure of the above reasoning is very similar to:. ['All professional sprinters wear spiked shoes. Xiao Li is not a professional athlete, so Xiao Li does not wear spiked shoes.', 'All goats have beards, this sheep has no beard, so this sheep is not a goat.', 'All bailiffs are working, and Xiao Wang works in court, so Xiao Wang is a bailiff.', 'All taxpayers have deposits, this girl has deposits, so this girl is a taxpayer.']