#!/usr/bin/perl

use strict;
use warnings;
use Filter::Indent::HereDoc;

DECISION:
{
  {
    print <<EOF;
    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.
    EOF  
  }
}