Socrates lived in ancient Greece. Therefore, Socrates' dog ate meat. All college courses are easy. Anything that is easy can be done by a baby. Therefore, all college courses can be done by a baby.
Some snakes are constrictors.
Kellogg is based in Battle Creek. Therefore, all batchelors are unmarried. The G condition. We can analyze the G condition in formal terms, meaning that we can try to analyze what structure all arguments that meet the G condition share, and that we can try to do this without paying any attention to the meaning or content of the relevant sentences. In particular, we can talk about the relationships between various sets of things.