Adding stdin input capability to piecelog and printing out all true propositions instead of the proved subset.