This section presents sample first-order theories, written in Razor's syntax. All examples are inspired by the events of Game of Thrones (spoiler alert!!).

• Valar Morghulis: demonstrates a run of Razor on a simple example.
• Golden Head: runs Razor over an unsatisfiable theory for which no models exist.
• Hold the Door: covers more advanced features of Razor on theories with infinite models.

For more examples, see Razor's example theories.