propositions and inference try interact(electwhich clause is wrong in elect_bugtryinteract(elect_buglogicexplainask lit_l the following shows an interaction for the knowledge base electinteract(electlogicexplainask lit_l is up_s trueno is down_s trueyes is down_s trueyes yes logicexplainhow lit_l < light_l live_l ok_l logicexplainhow live_l < live_w logicexplainhow live_w < down_s live_w logicexplainhow down_s was answered yes logicexplainup live_w < down_s live_w logicexplainhow live_w < down_s live_w logicexplainquit exercise the above code only ever explores one proof the first proof found change the code to enumerate the proof trees (by returning list all proof treesor preferably using yieldadd the command "retryto the user interface to try another proof version june