Consider the following axioms.
Every bird sleeps in some tree.Every loon is a bird, and every loon is aquatic.Every tree in which any aquatic bird sleeps is beside some lake.Anything that sleeps in anything that is beside any lake eats fish.(Conclusion) Every loon eats fish.