s are made of rock
Minor premise: Ceres
is an asteroid.
Ceres is made of rock.
Major premise: All nontrivial Perl programs contain variables.
Minor premise: All versions of majordomo are nontrivial Perl programs.
Conclusion: All versions of majordomo contain variables.
Major premise: No cat enjoys the company of snakes.
Minor premise: Fluffy enjoys the company of snakes.
Conclusion: Fluffy is not a cat.
Major premise: I will not eat anything that smells like feet.
Minor premise: Some kinds of cheese smell like feet.
Conclusion: There are some kinds of cheese I will not eat.