[Las atómicas aceptables son 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'o']
[Puede usar '¬'/'not', '&'/'and', 'or', 'then', 'iff', '°'
para la negación, conjuncion, disyunción, condicional, bicondicional y consistencia]
[Use 'Falsum' para el símbolo '⊥']
[Ingrese a las premisas separadas por comas y a la conclusión separada con / (e.g. 'p, p then q / q')]
['Sobre pasos' van separados con comas (e.g. "1, 2"), excepto por las reglas I¬ y I→, que usan un guión (e.g "1-4")]