Exercise logic.propositional.dnf
Description
Proposition to DNF
Firsts
Rule logic.propositional.absorpor Location [1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ~~T /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.absorpor Location [1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ~F /\ T /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.absorpor Location [1,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ T /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.absorpor Location [1,1,1,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ~F /\ Tready: noRule logic.propositional.notnot Location [1,1,1,1,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,0,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,0,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.idempand Location [1,1,1,1,1,1,1,0,1,0,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~~(p /\ ~q) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.nottrue Location [1,1,1,1,0,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~F) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.nottrue Location [1,1,1,1,0,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~F /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,0,0,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,0,0,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,0,0,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ T /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,0,0,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,0,0,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,0,0,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ (q || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,0,0,1,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,0,0,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ T /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.nottrue Location [1,1,1,1,1,0,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~F /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,0,0,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,0,0,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,0,0,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ T /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,0,0,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,0,0,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,0,0,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ (q || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,0,0,1,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,0,0,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ T /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.nottrue Location [1,1,1,1,1,1,0,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~F /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,0,0,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,0,0,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,1,0,0,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ T /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,0,0,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,0,0,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,0,0,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ (q || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,0,1,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ T /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~F) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,1,0,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (T /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.nottrue Location [1,1,1,1,1,1,1,0,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~F /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,0,0,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,0,0,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,1,1,0,0,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ T /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,0,0,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,0,0,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,0,0,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ (q || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ T /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,0,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ (q || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.nottrue Location [1,1,1,1,1,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~F /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,1,0,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,1,0,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,1,1,1,1,0,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ T /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ (q || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,1,1,1,1,0,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ T /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~F)ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (T /\ T))ready: noRule logic.propositional.truezeroor Location [1,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ T /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.nottrue Location [1,1,1,1,1,1,1,1,0,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~F /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,0,0,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,0,0,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,1,1,1,0,0,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ T /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notnot Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1,0,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,0,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ (q || ~r) /\ T /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ ~F /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.truezeroand Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: noRule logic.propositional.notfalse Location [1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0] Term "Nothing" Focus "Nothing" Environment p /\ ~q /\ ~~(p /\ ~q) /\ p /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~~T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || ~q) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T)) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~~~(~(p /\ ~q) /\ ~(p /\ ~q)) /\ ((T /\ q) || ~r))) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ T /\ T) || T) /\ ((~~T /\ ~~~q /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ((T /\ q) || ~r) /\ T /\ ~F /\ T) || (~F /\ T))ready: no