Evaluate a chain of syllogisms for validity. Tests formal logic and deductive reasoning.
Classic logic puzzle: farmer, fox, chicken, grain. Tests step-by-step reasoning and constraint satisfaction.