old revision restored (2025/07/07 12:30)
start
  1. Premise 1
  2. Premise 2
  3. If the above are true, then this sample statement is true

∴ this sample statement is true

start.txt · Last modified: 2025/09/16 07:38 by 216.73.216.34