Logiweb diagnose of pogave in pyk

Up Help

text unicode capital e unicode small r unicode small r unicode small o unicode small r unicode space unicode small i unicode small n unicode space unicode small p unicode small r unicode small o unicode small o unicode small f unicode space unicode small o unicode small f unicode end of text end text , text unicode newline unicode end of text end text , prop three two n one , text unicode newline unicode end of text end text , text unicode capital u unicode small n unicode small i unicode small f unicode small i unicode small c unicode small a unicode small t unicode small i unicode small o unicode small n unicode space unicode small f unicode small a unicode small i unicode small l unicode small e unicode small d unicode end of text end text , text unicode newline unicode end of text end text , prop three two c modus ponens metavar var a end metavar times zero equal zero modus ponens zero times metavar var a end metavar equal zero conclude metavar var a end metavar times zero equal zero times metavar var a end metavar