Presents graphic means of representing deductive proofs in a sentential system of symbolic logic. Provides students with performance data following a description of the rule set and the working backwards method. Shows that one interface design is superior to others in respect to working backwards. Draws some general conclusions concerning the relevance of instructional programs for empirically documenting student difficulties and improving interface designs. (Author/ASK)