FWIW, the DECISION
heredoc wasn't printing out. I believe that it has something to do with heredocs needing to be flush with the left margin. As a quick workaround, I used
. Here's a simplified example:
Hi. This is the Lee-Hardy Conclusion Calculator.
Given a series of statements using the syntax
'p -> q', I will deduce the correct conclusion
to be made using basic logic and the chain rule.
Type 'ready' when you are ready to input your statements.
Type 'quit' to exit the LHCC.