Axiomatic Poetry Generator

Structured as formal proof: Axiom → Lemma → Theorem.

Input