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