main
{% for p in premises %}{{ p }} {% endfor %}{% if conclusion %}Therefore, the following is false: {{ conclusion[0] }}{% endif %}